|
|
books
| book details |
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Edited by Anil Nerode, Edited by Mikhail Taitslin
|
| on special |
normal price: R 2 114.95
Price: R 1 903.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 24 Jun 1992
Language |
Format | Paperback / softback
Pages | 517
Dimensions | 233 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-5405-5707-4
Readership Age |
BISAC | computers / computer science
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
