Logical Foundations of Computer Science Anil Nerode
53,49 €
Titel: Logical Foundations of Computer Science, Untertitel: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings, Einband: Taschenbuch, Autor: Anil Nerode, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 448, Maße: 235x155x25 mm, Gewicht: 674 g, Verkäufer: buch-mimpf, Schlagworte: Bisimulation Cut-elimination theorem Endliche Modelltheorie Ersetzungssysteme Finite model theory Informatik-Logik Nichtklassische Logiken Variable calculus complexity logic proof rewriting systems sets verification.
Jetzt bei Ebay:
