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.
Read More
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.
Read Less
Add this copy of Symbolic Logic and Mechanical Theorem Proving to cart. $9.62, good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1973 by Academic Press.
Add this copy of Symbolic Logic and Mechanical Theorem Proving to cart. $9.62, good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1973 by Academic Press.
Add this copy of Symbolic Logic and Mechanical Theorem Proving to cart. $9.62, good condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1973 by Academic Press.
Add this copy of Symbolic Logic and Mechanical Theorem Proving (Computer to cart. $9.63, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1973 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Symbolic Logic and Mechanical Theorem Proving (Computer to cart. $14.58, good condition, Sold by One Planet Books rated 5.0 out of 5 stars, ships from Columbia, MO, UNITED STATES, published 1973 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Add this copy of Symbolic Logic and Mechanical Theorem Proving to cart. $20.00, good condition, Sold by Row by Row Bookshop rated 5.0 out of 5 stars, ships from Sugar Grove, NC, UNITED STATES, published 1973 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. No Dust Jacket. An ex-library copy in black hard covers lettered in gold, with the usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket.
Add this copy of Symbolic Logic and Mechanical Theorem Proving to cart. $25.50, good condition, Sold by True Oak Books rated 5.0 out of 5 stars, ships from Highland, NY, UNITED STATES, published 1973 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Computer Science And Applied Mathematics; – Book is in good overall condition. No writing or major blemishes. Average wear. Brief dedication on first page. Light smudging on dust cover. Foxing to fore-edge of pages.; -We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
Add this copy of Symbolic Logic and Mechanical Theorem Proving (Computer to cart. $45.00, good condition, Sold by SurplusTextSeller rated 4.0 out of 5 stars, ships from Columbia, MO, UNITED STATES, published 1973 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Add this copy of Symbolic Logic and Mechanical Theorem Proving (Computer to cart. $45.84, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1973 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 750grams, ISBN: 0121703509.
