Computational Logic and Proof Theory Georg Gottlob
53,49 €
Titel: Computational Logic and Proof Theory, Untertitel: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings, Einband: Taschenbuch, Autor: Georg Gottlob, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 372, Maße: 235x155x21 mm, Gewicht: 563 g, Verkäufer: buch-mimpf, Schlagworte: Computational Logic Logic Programming Nicht-klassische Logiken Nicht-monotones Schließen Nonclassical Logics logic mathematical logic mathematics nonmonotonic reasoning philosophy of mathematics proof theory.
Jetzt bei Ebay:
