Fortæl dine venner om denne vare:
Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition
Anil Nerode
Pris
Íkr 22.098,75
Bestilles fra fjernlager
Forventes klar til forsendelse 21. - 27. okt.
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition
Anil Nerode
Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.
476 pages, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 17. januar 1997 |
| ISBN13 | 9780387948935 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 476 |
| Mål | 156 × 234 × 26 mm · 816 g |
| Sprog | Engelsk Fransk |
![Cover for Anil Nerode · Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut (Paperback Bog) [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-bog&class=scaled&v=1695414505)
