Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo
Ø 0.0
0 Bewertungen
42,18 €
Eine Lösung finden können. Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben. Es kann sich unter Umständen um ein Mängelexemplar in gutem Zustand handeln. Ist aber gut für den Eigenbedarf geeignet.
Jetzt bei Ebay:
-
ISBN-10:3540593381
-
ISBN-13:9783540593386
-
Buchtitel:Theorem Proving with Analytic Tableaux and Related
-
Untertitel:4th International Workshop, TABLEAUX-95, Schloß R
-
Höhe:2.1 cm
-
Gewicht:563 g
-
Länge:23.5 cm
-
Breite:15.5 cm
-
ISBN:9783540593386
-
Reihe:Lecture Notes in Artificial Intelligence
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:1995
-
Anzahl der Seiten:372 Seiten
-
Autor:Reiner Hähnle, Peter Baumgartner, Joachim Posegga
-
Verlag:Springer Berlin Heidelberg, Springer Berlin
-
Publikationsname:Theorem Proving With Analytic Tableaux And Related Methods
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 20. May 2025 und 20. May 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
