Symbolic logic and mechanical theorem proving - Info and Reading Options
By Chin-Liang Chang
"Symbolic logic and mechanical theorem proving" was published by Academic Press in 1973 - Boston, it has 331 pages and the language of the book is English.
“Symbolic logic and mechanical theorem proving” Metadata:
- Title: ➤ Symbolic logic and mechanical theorem proving
- Author: Chin-Liang Chang
- Language: English
- Number of Pages: 331
- Publisher: Academic Press
- Publish Date: 1973
- Publish Location: Boston
“Symbolic logic and mechanical theorem proving” Subjects and Themes:
- Subjects: ➤ Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Artificial intelligence - Automatic theorem proving - Logique symbolique et mathématique - Intelligence artificielle - Théorèmes - Démonstration automatique
Edition Specifications:
- Pagination: xv,331p. :
Edition Identifiers:
- The Open Library ID: OL22225892M - OL13557948W
- Online Computer Library Center (OCLC) ID: 658102
- Library of Congress Control Number (LCCN): 72088358 - 87001443
- ISBN-10: 0121703509
- All ISBNs: 0121703509
AI-generated Review of “Symbolic logic and mechanical theorem proving”:
Read “Symbolic logic and mechanical theorem proving”:
Read “Symbolic logic and mechanical theorem proving” by choosing from the options below.
Search for “Symbolic logic and mechanical theorem proving” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Symbolic logic and mechanical theorem proving” in Libraries Near You:
Read or borrow “Symbolic logic and mechanical theorem proving” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Symbolic logic and mechanical theorem proving” at a library near you.
Buy “Symbolic logic and mechanical theorem proving” online:
Shop for “Symbolic logic and mechanical theorem proving” on popular online marketplaces.
- Ebay: New and used books.