Wonder Club world wonders pyramid logo
×

Symbolic Logic And Mechanical Theorem Proving Book

Symbolic Logic And Mechanical Theorem Proving
Symbolic Logic And Mechanical Theorem Proving, 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 introduc, Symbolic Logic And Mechanical Theorem Proving has a rating of 4 stars
   2 Ratings
X
Symbolic Logic And Mechanical Theorem Proving, 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 introduc, Symbolic Logic And Mechanical Theorem Proving
4 out of 5 stars based on 2 reviews
5
50 %
4
0 %
3
50 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Symbolic Logic And Mechanical Theorem Proving
  • Written by author Chin-Liang Chang
  • Published by Elsevier Science, November 1997
  • 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 introduc
  • Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas—program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.This classic
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas—program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.
This classic text provides a thorough discussion of mechanical theorem proving and its applications as well as an introduction to symbolic logic. A purely model-theoretic approach to first-order logic is adopted, and the book emphasizes efficient computer implementations of proof techniques.
Appropriate for both undergraduates and graduate courses in theorem proving, this text is also suitable as a supplementary textbook in artificial intelligence to provide the student with a background in mechanical theorem proving and application areas.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Symbolic Logic And Mechanical Theorem Proving, 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 introduc, Symbolic Logic And Mechanical Theorem Proving

X
WonderClub Home

This item is in your Collection

Symbolic Logic And Mechanical Theorem Proving, 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 introduc, Symbolic Logic And Mechanical Theorem Proving

Symbolic Logic And Mechanical Theorem Proving

X
WonderClub Home

This Item is in Your Inventory

Symbolic Logic And Mechanical Theorem Proving, 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 introduc, Symbolic Logic And Mechanical Theorem Proving

Symbolic Logic And Mechanical Theorem Proving

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: