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

Name: Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang 9780121703509
SKU: 9780121703509
Price: 60.49 GBP
Availability: InStock

No reviews yet Write a Review

Booksplease Price: £60.49

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:: 9780121703509
UPC:
MPN:: 9780121703509

Available from Booksplease!

Global delivery available

Availability: Usually dispatched within 4 working days

Ask Questions

Frequently Bought Together:

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

Booksplease Price: £60.49

Total: Inc. VAT

Total: Ex. VAT

Description
Reviews

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

Mechanical Theorem Proving in Geometries: Basic Principles by Wen Tsun Wu 9783211825068

Booksplease Price: £50.97

There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various...

Add to Cart

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving by Wen Tsun Wu 9780792358350

Booksplease Price: £90.14

This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes...

Add to Cart

The Symbols of Yi King: Or Symbols of the Chinese Logic of Changes by Z D Sung 9781258920371

RRP: £40.95

Booksplease Price: £35.89

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781258920371Author Z D SungFormat HardbackPage Count 186Imprint

Add to Cart

Tribology In Chemical-Mechanical Planarization by Hong Liang

RRP: £64.99

Booksplease Price: £57.09

The role that friction and contact play in the processes of wear and planarization on material surfaces is central to the understanding of Chemical-Mechanical planarization (CMP) technology,...

Add to Cart

Symbolic Logic And The Game Of Logic by Lewis Carroll 9781497862999

RRP: £48.95

Booksplease Price: £42.09

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781497862999Author Lewis CarrollFormat HardbackPage Count 342Imprint

Add to Cart

An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms by Maksym Bortin 9783832525026

Booksplease Price: £57.40

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783832525026Author Maksym BortinFormat PaperbackPage Count 235Imprint

Add to Cart

Booksplease Reviews

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

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

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

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

Recently Viewed

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

Frequently Bought Together:

Description

Goodreads reviews

Reviews