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: 20th Internation

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 20th Internation
SKU: 306331144153
Price: 58.58 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

58,58 €

Eine Lösung finden können. Diese können Stempel oder ähnliches der jeweiligen Bibliothek enthalten. Cover-Abweichungen durch Behandlung der Bibliothek möglich. (Neubindung, Kleber, Umschläge oder ähnliches).

Jetzt bei Ebay:

Zum Angebot *

Produktart:

Bücher
ISBN-10:

3642221181
Buchtitel:

Automated Reasoning with Analytic Tableaux and Rel
Untertitel:

20th International Conference, TABLEAUX 2011, Bern
Autor:

Unbekannt
Erscheinungsjahr:

Dezember 2011
Verlag:

Springer-Verlag GmbH
Format:

Taschenbuch
Sprache:

Englisch
Höhe:

2 cm
Gewicht:

447 g
Länge:

23.6 cm
Breite:

15.7 cm
ISBN:

3642221181

Expressversand:

Sonstige (1 Werktag) kostenlos - Lieferung zwischen 24. June 2025 und 24. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere