Vinkkaa tuotetta kavereillesi:
Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
Hinta
SEK 579
Tilattu etävarastosta
Arvioitu toimitus to - pe 13. - 21. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.
408 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 8. kesäkuuta 1994 |
| ISBN13 | 9783540581406 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 408 |
| Mitta | 216 × 279 × 21 mm · 576 g |
| Kieli | German |
| Toimittaja | Matiyasevich, Yuri |
Näytä kaikki
Lisää tuotteita Anil Nerode
![Cover for Anil Nerode · Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut (Paperback Book) [1st ed. 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9783031116155.jpg?anil-nerode-2023-algebraic-curves-and-riemann-surfaces-for-undergraduates-the-theory-of-the-donut-paperback-book&class=scaled&v=1695414505)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Paperback Book) [Softcover Reprint of the Original 2nd Ed. 1997 edition] (2012)](https://imusic.b-cdn.net/images/item/original/550/9781461268550.jpg?anil-nerode-2012-logic-for-applications-texts-in-computer-science-paperback-book&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Hardcover Book) [2nd Ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/935/9780387948935.jpg?anil-nerode-1997-logic-for-applications-texts-in-computer-science-hardcover-book&class=scaled&v=1409851816)
Katso kaikki joka sisältää Anil Nerode ( Esim. Paperback Book Ja Hardcover Book )