Tell your friends about this item:
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
Price
₪ 246
excl. VAT
Ordered from remote warehouse
Expected delivery Apr 30 - May 13
Our customers say:
Add to your iMusic wish list
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.
517 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 24, 1992 |
| ISBN13 | 9783540557074 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 517 |
| Dimensions | 155 × 233 × 27 mm · 734 g |
| Editor | Nerode, Anil |
| Editor | Taitslin, Mikhail |
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Paperback Book) [Softcover Reprint of the Original 2nd Ed. 1997 edition] (2012)](https://imusic.b-cdn.net/images/item/original/550/9781461268550.jpg?anil-nerode-2012-logic-for-applications-texts-in-computer-science-paperback-book&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Hardcover Book) [2nd Ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/935/9780387948935.jpg?anil-nerode-1997-logic-for-applications-texts-in-computer-science-hardcover-book&class=scaled&v=1409851816)
