Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Symbolic Logic and Mechanical Theorem Proving (Hardcover): Chin-Liang Chang, Richard Char-Tung Lee Symbolic Logic and Mechanical Theorem Proving (Hardcover)
Chin-Liang Chang, Richard Char-Tung Lee
R1,468 Discovery Miles 14 680
Add to cart
Ships in 12 - 17 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Herontdek Jou Selfvertroue - Sewe Stappe Na 'n Nuwe Jy (Afrikaans, Paperback): Rolene Strauss
Herontdek Jou Selfvertroue - Sewe Stappe…
Rolene Strauss Paperback  (1)
 R330 R284 Discovery Miles 2 840
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Sluggem Pellets (500g):
Sluggem Pellets (500g)
R129 Discovery Miles 1 290
JCB Warrior Steel Toe PVC Safety Boot (Black):
JCB Warrior Steel Toe PVC Safety Boot…
R469 Discovery Miles 4 690
Marco Prestige Laptop Bag (Black):
Marco Prestige Laptop Bag (Black)
R676 Discovery Miles 6 760
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Die Wonder Van Die Skepping - Nog 100 Dagstukkies Oor God & Wetenskap (Afrikaans, Hardcover): Louie Giglio
Die Wonder Van Die Skepping - Nog 100…
Louie Giglio Hardcover R279 R235 Discovery Miles 2 350
Volkano Industrial 14'' Laptop Case (Black):
Volkano Industrial 14'' Laptop Case…
R238 Discovery Miles 2 380
Bait - To Catch A Killer (Paperback): Janine Lazarus
Bait - To Catch A Killer
Janine Lazarus Paperback R320 R275 Discovery Miles 2 750

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners