Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
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.
| Serija: | Lecture Notes in Computer Science |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1992 |
| Knygos puslapių skaičius: | 528 |
| ISBN-10: | 3540557075 |
| ISBN-13: | 9783540557074 |
| Formatas: | 235 x 155 x 29 mm. Knyga minkštu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „Logical Foundations of Computer Science - Tver 92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings“
