Symbolic Logic and Mechanical Theorem Proving

Author: Chin-Liang Chang
Edition: 1
Binding: Hardcover
ISBN: 0121703509
Publisher: Academic Press
Features:

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Search and download computer ebooks Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) for free.
Symbolic Logic And Mechanical Theorem Proving. Download Symbolic Logic and Mechanical Theorem Proving computer ebooks

Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving - Chang CL, Lee RCT

Symbolic Logic and Mechanical Theorem Proving, ISBN-13: 9780121703509, ISBN-10: 0121703509

TheNile.com.au About FAQ Payment Delivery Contact Us 1800-987-323 Symbolic Logic and Mechanical Theorem Proving (English) by Chin-Liang Chang Format Hardcover Condition Brand New Language English 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 provi

Store Search search Title, ISBN and Author Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang Estimated delivery 3-12 business days Format Hardcover Condition Brand New 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 Chap

Symbolic Logic and Mechanical Theorem Proving Free