Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

af Melvin Fitting

indgår i Texts in Computer Science serien

First-Order Logic and Automated Theorem Proving af Melvin Fitting
Bag om First-Order Logic and Automated Theorem Proving

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781461275152
  • Indbinding:
  • Paperback
  • Sideantal:
  • 326
  • Udgivet:
  • 26. juni 2013
  • Udgave:
  • 219962
  • Størrelse:
  • 170x244x22 mm.
  • Vægt:
  • 592 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 22. november 2024

Bag om Melvin Fitting

Vis alle bøger af Melvin Fitting

Beskrivelse af First-Order Logic and Automated Theorem Proving

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.

Brugerbedømmelser af First-Order Logic and Automated Theorem Proving



Andre købte også..
Find lignende bøger
Bogen First-Order Logic and Automated Theorem Proving findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.