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

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

by Anil Nerode (Author), Anil Nerode (Author), Yu.V. Matiyasevich (Author)

$73.78

Save:$5.35 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 408
Edition: 1994
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540581405
ISBN 13: 9783540581406