null

Recently Viewed

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang 9780121703509
New

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang 9780121703509

No reviews yet Write a Review
RRP: £52.99
£47.00
Booksplease saves you

  Delivery: We ship to over 200 countries!
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

SKU:
9780121703509
Weight:
717.00 Grams
Available from Booksplease!
Availability: Usually dispatched within 5 working days
Ask Questions

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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.

Book Information
ISBN 9780121703509
Author Chin-Liang Chang
Format Hardback
Page Count 331
Imprint Academic Press Inc
Publisher Elsevier Science Publishing Co Inc
Weight(grams) 640g

Reviews

No reviews yet Write a Review

Related Titles

Symbolic Logic by Odysseus Makridis

Symbolic Logic by Odysseus Makridis

RRP: £44.99
£40.98
This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: * The characteristic nature and scope of...
Add to Cart

Booksplease  Reviews

J - United Kingdom

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

T - United States

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

R - Spain

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

J - United Kingdom

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom