Fortell venner om denne varen:
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
Pris
NOK 559
Bestillingsvarer
Forventes levert 17. - 25. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 8. juni 1994 |
| ISBN13 | 9783540581406 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 408 |
| Mål | 216 × 279 × 21 mm · 576 g |
| Språk | Tysk |
| Redaktør | Matiyasevich, Yuri |
![Cover for Anil Nerode · Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut (Pocketbok) [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-pocketbok&class=scaled&v=1695414505)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Innbunden bok) [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-innbunden-bok&class=scaled&v=1409851816)
