Logic for Applications - Texts in Computer Science - Anil Nerode - Kirjat - Springer-Verlag New York Inc. - 9780387948935 - perjantai 17. tammikuuta 1997
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

Anil Nerode

Hinta
€ 136,99

Tilattu etävarastosta

Arvioitu toimitus ma 27. loka - ti 4. marras

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 17. tammikuuta 1997
ISBN13 9780387948935
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 476
Mitta 156 × 234 × 26 mm   ·   816 g
Kieli English   French  
Näytä kaikki

Lisää tuotteita Anil Nerode

Katso kaikki joka sisältää Anil Nerode ( Esim. Paperback Book Ja Hardcover Book )