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,430 Discovery Miles 14 300
Add to cart
Ships in 10 - 15 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,730 Discovery Miles 17 300 Out of stock
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Home Classix Double Wall Tumbler (360ml) (Supplied colour may vary):
Home Classix Double Wall Tumbler (360ml…
R89 R79 Discovery Miles 790
Ab Wheel:
Ab Wheel
R209 R149 Discovery Miles 1 490
Tesa Adjustable Adhesive Nail for Tiles, Metal and Glass (2x2kg Limit)(Smooth Solid Indoor Surfaces):
Tesa Adjustable Adhesive Nail for Tiles…
R179 Discovery Miles 1 790
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
ZA Fine Circle Drop Earrings:
ZA Fine Circle Drop Earrings
R439 R299 Discovery Miles 2 990
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R899 Discovery Miles 8 990
Sylvanian Families - Walnut Squirrel Family Set:
Sylvanian Families - Walnut Squirrel…
R699 Discovery Miles 6 990
Kreepy Krauly Hose (1m)(Blue):
Kreepy Krauly Hose (1m)(Blue)
R75 R62 Discovery Miles 620
Babylon (Blu-ray disc): Brad Pitt, Margot Robbie, Diego Luna
Babylon
Brad Pitt, Margot Robbie, … Blu-ray disc R271 Discovery Miles 2 710
Tesa Extra Power Universal Duct Tape (10m x 50mm)(White):
Tesa Extra Power Universal Duct Tape…
R189 Discovery Miles 1 890

 
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