Symbolic Logic and Mechanical Theorem Proving
Du sparer Spar kr. 20,00 med Saxo Premium
  • Leveringstid 2-3 uger
  • Forventet levering 30-04-2020
Hvis du køber til medlemspris, bliver du automatisk medlem af Saxo Premium. De første 30 dage er gratis, derefter koster det 99,-/md. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om alle fordelene her.
Format:
Bog, hardback
Udgivelsesdato:
15-06-1973
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Vis mereVis mindre

Udgivelsesdato:
15-06-1973
ISBN13:
9780121703509
Vægt:
640 g
Dybde:
23 mm
Bredde:
152 mm
Højde:
229 mm
Format:
Hardback
Bibliotekernes beskrivelse Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.

Machine Name: SAXO032