Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings 1992 Edition Contributor(s): Nerode, Anil (Editor), Taitslin, Mikhail (Editor) |
|
![]() |
ISBN: 3540557075 ISBN-13: 9783540557074 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 1992 Annotation: This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science. |
Additional Information |
BISAC Categories: - Computers | Machine Theory - Computers | Computer Science - Mathematics | Logic |
Dewey: 004 |
LCCN: 92018642 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.07" H x 6.14" W x 9.21" (1.62 lbs) 517 pages |