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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540557074 - 1992. gada 24. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 19. - 27. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Anil Nerode izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1992. gada 24. jūnijs
ISBN13 9783540557074
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 517
Izmēri 155 × 233 × 27 mm   ·   734 g
Valoda Vācu  
Redaktors Nerode, Anil
Redaktors Taitslin, Mikhail

Vairāk no Anil Nerode

Vairāk no tā paša izdevēja