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 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The American Spelling Book - Containing an Easy Standard of Pronunciation (Hardcover): Noah Webster
The American Spelling Book - Containing…
Noah Webster Hardcover R830 Discovery Miles 8 300
A Collection of Unidentified Flying Object Phenomena - Revised Edition (Hardcover, Revised ed.): Clinton Laird
A Collection of Unidentified Flying…
Clinton Laird Hardcover R890 Discovery Miles 8 900
The Improvement of the Mind (Paperback): Isaac Watts
The Improvement of the Mind
Isaac Watts Paperback R489 Discovery Miles 4 890
The Brothers Hawthorne (Paperback): Jennifer Lynn Barnes
The Brothers Hawthorne
Jennifer Lynn Barnes Paperback R355 R328 Discovery Miles 3 280
The British Left's 'Great Debate' on Europe (Hardcover): Andrew Mullen
The British Left's 'Great Debate' on…
Andrew Mullen Hardcover R5,607 Discovery Miles 56 070
Blits: Perlemoendiewe (Afrikaans, Paperback): Nedine Blom, Adriaan Blom
Blits: Perlemoendiewe
Nedine Blom, Adriaan Blom Paperback R230 R216 Discovery Miles 2 160
Bowling For Dummies (Paperback): A.J. Forrest
Bowling For Dummies
A.J. Forrest Paperback R512 Discovery Miles 5 120
Apple Cider Vinegar - The Miraculous Natural Remedy!: Holistic Solutions & Proven Healing Recipes for Health, Beauty and Home...
Apple Cider Vinegar - The Miraculous…
Elena Garcia Hardcover R503 Discovery Miles 5 030
Fighting And Writing - The Rhodesian Army War And Postwar (Paperback): Luise White
Fighting And Writing - The Rhodesian…
Luise White Paperback  (1)
 R300 R277 Discovery Miles 2 770
Vixen - From Mormon Convert to LDS Apostate (Hardcover): Lindsay Helm
Vixen - From Mormon Convert to LDS…
Lindsay Helm Hardcover R739 R655 Discovery Miles 6 550

 
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