Logical Foundations of Computer Science
Subtitle: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)
Contributors: Yu. V. Matiyasevich (Editor)
Publisher: Springer
Published: June 1994
Language: eng
Number of pages: 401
ISBN-13: 9780387581408