Logic for Applications - Texts in Computer Science - Anil Nerode - Bøker - Springer-Verlag New York Inc. - 9780387948935 - 17. januar 1997
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.409

Bestillingsvarer

Forventes levert 15. - 23. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 17. januar 1997
ISBN13 9780387948935
Utgivere Springer-Verlag New York Inc.
Antall sider 476
Mål 156 × 234 × 26 mm   ·   816 g
Språk Engelsk   Fransk  

Mere med samme udgiver

Se alt med Anil Nerode ( f.eks. Pocketbok og Innbunden bok )