Automated Reasoning with Analytic Tableaux and Related Methods: 28th 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:3030290255
-
ISBN-13:9783030290252
-
Buchtitel:Automated Reasoning with Analytic Tableaux and Rel
-
Untertitel:28th International Conference, TABLEAUX 2019, Lond
-
Höhe:2.7 cm
-
Gewicht:750 g
-
Länge:23.5 cm
-
Breite:15.5 cm
-
ISBN:9783030290252
-
Reihe:Lecture Notes in Artificial Intelligence
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2019
-
Anzahl der Seiten:500 Seiten
-
Autor:Andrei Popescu, Serenella Cerrito
-
Verlag:Springer International Publishing
-
Publikationsname:Automated Reasoning 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
