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...
Marx and the Postmodernism Debates - An Agenda for Critical Theory (Hardcover): Lorraine Landry
Marx and the Postmodernism Debates - An…
Lorraine Landry Hardcover R2,786 Discovery Miles 27 860
13th Annual Illustrated Catalog, 1889 ... Containing Illustrations and Prices of a Few Leading and Staple Styles of Diamonds,...
13th Annual Illustrated Catalog, 1889…
Busiest House in America Hardcover R1,075 Discovery Miles 10 750
Class and the Communist Party of China, 1921-1978 - Revolution and Social Change (Paperback): Marc Blecher, David S.G. Goodman,...
Class and the Communist Party of China…
Marc Blecher, David S.G. Goodman, … Paperback R1,225 Discovery Miles 12 250
Simple & Stylish Woodworking - 20 Projects for Your Home (Paperback): Scott Francis
Simple & Stylish Woodworking - 20…
Scott Francis Paperback R582 R494 Discovery Miles 4 940
Adventures in Graphica (Paperback): Terry Thompson
Adventures in Graphica
Terry Thompson Paperback R894 Discovery Miles 8 940
Shipping Container Homes - The best guide to building a shipping container home and tiny house living, including plans, tips,...
Shipping Container Homes - The best…
Damon Jones Hardcover R601 R544 Discovery Miles 5 440
A Seed Of A Dream - Morris Isaacson High School And The Struggle For Education In Soweto, 1956-2012 (Paperback): Clive Glaser
A Seed Of A Dream - Morris Isaacson High…
Clive Glaser Paperback R280 R259 Discovery Miles 2 590
So, For The Record - Behind The Headlines In An Era Of State Capture (Paperback): Anton Harber
So, For The Record - Behind The…
Anton Harber Paperback R686 Discovery Miles 6 860
The Path to Your Career Purpose - Find and Live the Life of Fulfilling Work You Were Meant to Do (Hardcover): Ashley S Freeman
The Path to Your Career Purpose - Find…
Ashley S Freeman Hardcover R734 R651 Discovery Miles 6 510
Macroscale Models of Flow Through Highly Heterogeneous Porous Media (Hardcover, 2000 ed.): M. Panfilov
Macroscale Models of Flow Through Highly…
M. Panfilov Hardcover R4,574 Discovery Miles 45 740

 
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