Computational Logic and Proof Theory Georg Gottlob
53,49 €
Titel: Computational Logic and Proof Theory, Untertitel: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, Einband: Taschenbuch, Autor: Georg Gottlob, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 364, Maße: 235x155x20 mm, Gewicht: 552 g, Verkäufer: buch-mimpf, Schlagworte: Begründung / Beweis Beweis EDV / Theorie / Informatik / Allgemeines Logik Philosophie / Logik Algorithm analysis and problem complexity Computational Logic Nonclassical Logics complexity complexity theory logic mathematical logic proof analysis proof theory.
Jetzt bei Ebay:
