Symbolic Logic and Mechanical Theorem Proving

AvRichard Char-Tung Lee,Chin-Liang Chang

E-bok
PDF, Engelska, 2014

756 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(6)

209 kr259 kr

Alison Espach - Bröllopsgästerna, Pocket
  • -30%

Bröllopsgästerna

Alison Espach

Pocket, 2026

3,3 utav 5 stjärnor. Totalt antal röster:(7)

69 kr99 kr

Fredrik Backman - Mina vänner, Pocket
  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

4,3 utav 5 stjärnor. Totalt antal röster:(6)

69 kr99 kr