Pastāsti draugiem par šo preci:
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
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
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 |
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim