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 pr [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 550.00 kr | I lager | 5-7 dagar | 550.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!