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

69,51 €

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) 113,06 EUR - Lieferung zwischen 27. June 2025 und 08. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Irak , Libanon , Jemen , Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , ... und weitere