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,516 Discovery Miles 15 160
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,871 Discovery Miles 18 710 Out of stock
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Language Attitudes and Minority Rights - The Case of Catalan in France (Hardcover, 1st ed. 2018): James Hawkey
Language Attitudes and Minority Rights…
James Hawkey Hardcover R2,873 Discovery Miles 28 730
Jordan Algebras - Proceedings of the Conference held in Oberwolfach, Germany, August 9-15, 1992 (Hardcover, Reprint 2010):...
Jordan Algebras - Proceedings of the…
Wilhelm Kaup, Kevin McCrimmon, … Hardcover R3,569 Discovery Miles 35 690
World Perspectives (Hardcover): Ruth Nanda Anshen
World Perspectives
Ruth Nanda Anshen Hardcover R26,727 Discovery Miles 267 270
Vlok's community health (Paperback, 6th ed): Marina Clarke
Vlok's community health
Marina Clarke Paperback R819 Discovery Miles 8 190
A Tango With Death - Tolletjie Botha And The DCC (Paperback): Giancarlo Coccia
A Tango With Death - Tolletjie Botha And…
Giancarlo Coccia Paperback R339 Discovery Miles 3 390
The Happiness Trap 2nd Edition - Stop Struggling, Start Living (Paperback): Russ Harris
The Happiness Trap 2nd Edition - Stop…
Russ Harris Paperback R399 R363 Discovery Miles 3 630
Dictionary Of Devotions (Hardcover): Michael J Walsh
Dictionary Of Devotions
Michael J Walsh Hardcover R1,171 Discovery Miles 11 710
Speeches, Delivered at the City-Hall of the City of New-York - in the Courts of Oyer and Terminer, Common Pleas, and General...
Speeches, Delivered at the City-Hall of…
John Andrew Graham Paperback R444 Discovery Miles 4 440
Better Choices - Ensuring South Africa's Future (Paperback): Greg Mills, Mcebisi Jonas, Haroon Bhorat, Ray Hartley
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, … Paperback R350 R317 Discovery Miles 3 170
Boereverneukers - Afrikaanse Swendelaars, Swierbolle En Swerkaters (Afrikaans, Paperback): Izak du Plessis
Boereverneukers - Afrikaanse…
Izak du Plessis Paperback  (1)
 R250 R231 Discovery Miles 2 310

 
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