Logic for Applications - Texts in Computer Science - Anil Nerode - Grāmatas - Springer-Verlag New York Inc. - 9780387948935 - 1997. gada 17. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 139,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 9. - 17. jūl.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1997. gada 17. janvāris
ISBN13 9780387948935
Izdevēji Springer-Verlag New York Inc.
Lapas 476
Izmēri 156 × 234 × 26 mm   ·   816 g
Valoda Angļu   Franču  

Mere med samme udgiver

Skatīt visus Anil Nerode ( piem., Paperback Book un Hardcover Book )