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

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

Anil Nerode

Pris
S$ 188

Bestillingsvarer

Forventes levert 5. - 13. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

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

Finnes også som:

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 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  
Vis alle

Mer med Anil Nerode

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