Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Automated Reasoning with Analytic Tableaux and Related Methods: 24th Internation

Ø 0.0

0 Bewertungen

68,30 €

Subtitle 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. Short Title AUTOMATED REASONING W/ANALYTIC. Publisher Springer International Publishing AG. Qualifications (po. ).

Jetzt bei Ebay:

ISBN-13:

9783319243115
Book Title:

Automated Reasoning with Analytic Tableaux and Related Methods
ISBN:

9783319243115

None:

International Standard : tracked-no signature (7 to 15 business days) 111,11 EUR - Lieferung zwischen 07. July 2025 und 15. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere