Logical foundations of computer science - tver '92: second international symposium, tver, russia, july 20-24, 1992. proceedings: 2nd: tver 92, second international symposium, tver, russia, july 20-24, 1992 - proceedings
Auteur :
Nerode, Anil
ISBN :
9783540557074
Date de publication :
24 juin 1992
Dimensions :
23,3 x 15,5 x 2,7 cm
Poids :
738 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.