-
Anglický jazyk
Logical Foundations of Computer Science - Tver '92
Autor: Anil Nerode
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...
Viac o knihe
Na objednávku, dodanie 2-4 týždne
52.24 €
bežná cena: 54.99 €
O knihe
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.
- Vydavateľstvo: Springer
- Rok vydania: 1992
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540557074
Nemecký jazyk 
