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

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

Hinta
€ 141,49

Tilattu etävarastosta

Arvioitu toimitus ke 30. syys - to 8. loka
Saat ilmoituksen artistin Anil Nerode uusista julkaisuista

Asiakkaamme sanovat:

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

Ei vielä arvioitu

Löytyy myös muodossa:

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 Englanti   Ranska  

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Anil Nerode