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 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 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.

Symbolic Logic and Mechanical Theorem Proving (Paperback): Chin-Liang Chang, Richard Char Lee Symbolic Logic and Mechanical Theorem Proving (Paperback)
Chin-Liang Chang, Richard Char Lee
R1,898 Discovery Miles 18 980 Out of stock
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Home Classix Silicone Flower Design Mat (19.5 x 0.5cm):
Home Classix Silicone Flower Design Mat…
R49 R37 Discovery Miles 370
Revealing Revelation - How God's Plans For The Future Can Change Your Life Now (Paperback): Amir Tsarfati, Rick Yohn
Revealing Revelation - How God's Plans…
Amir Tsarfati, Rick Yohn Paperback  (5)
 R199 R168 Discovery Miles 1 680
LG 20MK400H 19.5" WXGA LED Monitor (Black):
LG 20MK400H 19.5" WXGA LED Monitor…
R2,199 R1,699 Discovery Miles 16 990
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Chris Cornell - Higher Truth (CD): Chris Cornell
Higher Truth
Chris Cornell CD  (1)
 R143 Discovery Miles 1 430
Piranha USB Charge Dock for PlayStation 4 Controller (Black):
Piranha USB Charge Dock for PlayStation…
R217 Discovery Miles 2 170
Bosch GBM 320 Professional Drill (320W)(Black and Blue):
Bosch GBM 320 Professional Drill…
R799 R728 Discovery Miles 7 280
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
Not available

 
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