Logic for Applications - Texts in Computer Science - Anil Nerode - Bøger - Springer-Verlag New York Inc. - 9780387948935 - 17. januar 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
CA$ 252,49

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 22. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes 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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 17. januar 1997
ISBN13 9780387948935
Forlag Springer-Verlag New York Inc.
Antal sider 476
Mål 156 × 234 × 26 mm   ·   816 g
Sprog Engelsk   Fransk  
Vis alle

Mere med Anil Nerode

Se alt med Anil Nerode ( f.eks. Paperback Bog og Hardcover bog )