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
€ 136,99

Tilattu etävarastosta

Arvioitu toimitus ma - ti 1. - 9. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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  
Näytä kaikki

Lisää tuotteita Anil Nerode

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