Automated Reasoning with Analytic Tableaux and Related Methods: 18th Internation
Ø 0.0
0 Bewertungen
39,79 €
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:
-
ISBN-10:3642027156
-
Buchtitel:Automated Reasoning with Analytic Tableaux and Rel
-
Untertitel:18th International Conference, TABLEAUX 2009, Oslo
-
Höhe:2 cm
-
Gewicht:540 g
-
Länge:23.5 cm
-
Breite:15.5 cm
-
ISBN:9783642027154
-
Reihe:Lecture Notes in Artificial Intelligence
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2009
-
Anzahl der Seiten:356 Seiten
-
Autor:Arild Waaler, Martin Giese
-
Verlag:Springer Berlin Heidelberg, Springer Berlin
-
Publikationsname:Automated Reasoning With Analytic Tableaux And Related Methods
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 23. June 2025 und 23. 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
![Produktbild - Automated Reasoning with Analytic Tableaux and Relat[...] | Buch | 9783642027154](https://i.ebayimg.com/thumbs/images/g/kmYAAOSwQ1RnTQ8y/s-l140.jpg)