First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Bøger - Springer-Verlag New York Inc. - 9781461275152 - 26. juni 2013
Ved uoverensstemmelse mellem cover og titel gælder titel

First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

Melvin Fitting

Pris
₺ 4.390

Bestilles fra fjernlager

Forventes klar til forsendelse 3. - 9. jul.

Vores kunder siger:

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

First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 26. juni 2013
ISBN13 9781461275152
Forlag Springer-Verlag New York Inc.
Antal sider 326
Mål 244 × 170 × 22 mm   ·   553 g
Sprog Engelsk  
Vis alle

Mere med Melvin Fitting

Se alt med Melvin Fitting ( f.eks. Paperback Bog og Hardcover bog )