Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science (813), Band 813)

Matiyasevich

von: Anil Nerode · Yu.V. Matiyasevich

Taschenbuch

ISBN-13: 978-3-540-58140-6

ISBN-10: 3-540-58140-5

Springer · 2008
S. auch:
1994PaperbackLogical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)