You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
517 pages • paperback • 2 editions
ISBN/UID: 9783540557074
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Jun 1992
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 meet...
Community Reviews
Content Warnings
517 pages • paperback
ISBN/UID: 9783540557074
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Jun 1992
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 meet...
Community Reviews
Content Warnings