Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science - Anil Nerode - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540557074 - 24 juni 1992
Indien omslag en titel niet overeenkomen, is de titel correct

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 31 dec. - 5 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst

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.


517 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 24 juni 1992
ISBN13 9783540557074
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 517
Afmetingen 155 × 233 × 27 mm   ·   734 g
Taal en grammatica Duits  
Uitgever Nerode, Anil
Uitgever Taitslin, Mikhail

Meer door Anil Nerode

Alles tonen