133410

9780121703509

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
$54.24
$3.95 Shipping
List Price
$78.95
Discount
31% Off
You Save
$24.71

  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    82%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee
$15.81
$3.95 Shipping
List Price
$78.95
Discount
79% Off
You Save
$63.14

  • Condition: Good
  • Provider: Birchwoodsbooks Contact
  • Provider Rating:
    0%
  • Ships From: Rochester, NH
  • Shipping: Standard
  • Comments: The cover has visible markings and wear. The dust jacket has minor damage or small tear. The pages show normal wear and tear. There is a signature or handwriting on the inside front cover. Fast Shipping - From Birchwoods Books

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9780121703509
  • ISBN: 0121703509
  • Publication Date: 1973
  • Publisher: Elsevier Science & Technology Books

AUTHOR

Chang, Chin-Liang, Lee, Richard Char-Tung

SUMMARY

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.Chang, Chin-Liang is the author of 'Symbolic Logic and Mechanical Theorem Proving', published 1973 under ISBN 9780121703509 and ISBN 0121703509.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.