Bild 1 von 1

Standardbild
Standardbild
Automated Reasoning with Analytic Tableaux and Related Methods Hans De Nivelle - Bild 1 von 1

Automated Reasoning with Analytic Tableaux and Related Methods von Hans de Nivelle (2015, Taschenbuch)

Schreiben Sie die ersteRezension.
  • buchbaer-shop (46468)
  • 99,9% positive Bewertungen
Preis:
€ 51,90
(inkl. MwSt.)
Kostenloser Versand
Lieferung ca. Di, 14. Mai - Do, 16. Mai
Rücknahmen:
1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.
Artikelzustand:
Neu
Titel: Automated Reasoning with Analytic Tableaux and Related Methods | Zusatz: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings | Medium: Taschenbuch | Redaktion: Hans De Nivelle | Einband: Kartoniert / Broschiert | Inhalt: xvi / 355 S. / 70 farbige Illustr. / 355 p. 70 illus. in color. | Ausstattung / Beilage: Paperback | Auflage: 1st ed. 2015 | Sprache: Englisch | Seiten: 372 | Reihe: Lecture Notes in Artificial Intelligence | Maße: 235 x 155 x 21 mm | Erschienen: 12.11.2015 | Anbieter: Buchbär.