Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings (Lecture Notes in Computer Science (1234), Band 1234)

Proceedings

von: Anil Nerode · Sergei Adian

Taschenbuch

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

ISBN-10: 3-540-63045-7

Springer · 2008