Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

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...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International Symposium on Logical Foundations of Computer Science :Tver
Andre forfattere:	Nerode, Anil, 1932- (Directeur de la publication), Taitslin, Mikhail A., 1936- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 620
Fag:	Informatique Algorithmes Logique symbolique et mathématique Informatique > Mathématiques Logique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Actes d'un symposium tenu à Tver du 20 au 24 juillet 1992, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logical foundations of computer science, Tver '92, second international symposium, Tver, Russia, July 20-24, 1992 proceedings, A. Nerode, M. Taitslin (eds.), Berlin, Springer-Verlag, 1992, 1 vol. (ix, 514 p.), Lecture notes in computer science, 3-540-55707-5 • Logical Foundations of Computer Science - Tver '92, Texte imprimé, 9783662164761