Logical Foundations of Computer Science - Tver '92 Mikhail Taitslin
53,49 €
Titel: Logical Foundations of Computer Science - Tver '92, Untertitel: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings, Einband: Taschenbuch, Autor: Mikhail Taitslin, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 528, Maße: 235x155x29 mm, Gewicht: 791 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Mathematik Logik Philosophie / Logik Algorithm analysis and problem complexity Beweisatheorie Computer Science Logische Grundlagen Nicht-klassische Logiken Non-Classical Logics Typentheorie computer logic logical foundations mathematical logic proof theory type theory.
Jetzt bei Ebay:
