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
R2,218 Discovery Miles 22 180
Add to cart
Ships in 12 - 19 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,965 Discovery Miles 19 650 Out of stock
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Light of Reason - The Delight of the Awakened State (Hardcover): Gloria Excelsior
The Light of Reason - The Delight of the…
Gloria Excelsior Hardcover R786 R687 Discovery Miles 6 870
The Bush Presidency - Triumphs and Adversities (Hardcover): Dilys M Hill, Phil Williams
The Bush Presidency - Triumphs and…
Dilys M Hill, Phil Williams Hardcover R3,023 Discovery Miles 30 230
I Wish I Knew - Poems To Soothe Your Soul & Strengthen Your Spirit (Hardcover): Donna Ashworth
I Wish I Knew - Poems To Soothe Your…
Donna Ashworth Hardcover R260 R234 Discovery Miles 2 340
Kirstenbosch - A Visitor's Guide (Paperback, New Edition): Colin Paterson-Jones, John Winter
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R160 R144 Discovery Miles 1 440
Art Intervention in the City (Hardcover): Hadas Ophrat
Art Intervention in the City
Hadas Ophrat Hardcover R4,102 Discovery Miles 41 020
Africa's Business Revolution - How to Succeed in the World's Next Big Growth Market (Hardcover): Acha Leke, Mutsa...
Africa's Business Revolution - How to…
Acha Leke, Mutsa Chironga, … Hardcover  (1)
 R867 R746 Discovery Miles 7 460
Township Economy - People, Spaces And Practices (Paperback): Andrew Charman, Leif Petersen, Thireshen Govender
Township Economy - People, Spaces And…
Andrew Charman, Leif Petersen, … Paperback  (1)
 R420 R378 Discovery Miles 3 780
Pearson Edexcel International GCSE (9-1) History: The Soviet Union in Revolution, 1905-24 Student Book (Paperback, Student...
Pearson Edexcel International GCSE (9-1…
Rob Bircher Paperback R789 Discovery Miles 7 890
Too Damn Dumb to Think (Hardcover): Diana Wright, Bernie DeCoke
Too Damn Dumb to Think
Diana Wright, Bernie DeCoke Hardcover R708 R633 Discovery Miles 6 330
Veterinary Infection Biology: Molecular Diagnostics and High-Throughput Strategies (Hardcover, 2015 ed.): Monica V. Cunha, Joao...
Veterinary Infection Biology: Molecular…
Monica V. Cunha, Joao Inacio Hardcover R4,713 Discovery Miles 47 130

 
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