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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540557074 - keskiviikko 24. kesäkuuta 1992
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
HK$ 476,30

Tilattu etävarastosta

Arvioitu toimitus ke 26. marras - to 4. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 24. kesäkuuta 1992
ISBN13 9783540557074
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 517
Mitta 155 × 233 × 27 mm   ·   734 g
Kieli Saksa  
Toimittaja Nerode, Anil
Toimittaja Taitslin, Mikhail

Näytä kaikki

Lisää tuotteita Anil Nerode