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 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…
Lorraine Landry Hardcover R2,786 Discovery Miles 27 860
13th Annual Illustrated Catalog, 1889…
Busiest House in America Hardcover R1,075 Discovery Miles 10 750
Class and the Communist Party of China…
Marc Blecher, David S.G. Goodman, … Paperback R1,225 Discovery Miles 12 250
Simple & Stylish Woodworking - 20…
Scott Francis Paperback R582 R494 Discovery Miles 4 940
Adventures in Graphica
Terry Thompson Paperback R894 Discovery Miles 8 940
Shipping Container Homes - The best…
Damon Jones Hardcover R601 R544 Discovery Miles 5 440
A Seed Of A Dream - Morris Isaacson High…
Clive Glaser Paperback R280 R259 Discovery Miles 2 590
So, For The Record - Behind The…
Anton Harber Paperback R686 Discovery Miles 6 860
The Path to Your Career Purpose - Find…
Ashley S Freeman Hardcover R734 R651 Discovery Miles 6 510
Macroscale Models of Flow Through Highly…
M. Panfilov Hardcover R4,574 Discovery Miles 45 740

 

Partners