Automated theorem proving - Info and Reading Options
after 25 years
By Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
"Automated theorem proving" was published by American Mathematical Society in 1984 - Providence, R.I, it has 360 pages and the language of the book is English.
“Automated theorem proving” Metadata:
- Title: Automated theorem proving
- Author: ➤ Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
- Language: English
- Number of Pages: 360
- Publisher: American Mathematical Society
- Publish Date: 1984
- Publish Location: Providence, R.I
“Automated theorem proving” Subjects and Themes:
- Subjects: Automatic theorem proving - Congresses - Mathematics, history - Logic & foundations of mathematics - Computer mathematics
Edition Specifications:
- Pagination: ix, 360 p. ;
Edition Identifiers:
- The Open Library ID: OL2847107M - OL5359030W
- Online Computer Library Center (OCLC) ID: 10723349
- Library of Congress Control Number (LCCN): 84009226
- ISBN-10: 082185027X
- All ISBNs: 082185027X
AI-generated Review of “Automated theorem proving”:
Read “Automated theorem proving”:
Read “Automated theorem proving” by choosing from the options below.
Search for “Automated theorem proving” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Automated theorem proving” in Libraries Near You:
Read or borrow “Automated theorem proving” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Automated theorem proving” at a library near you.
Buy “Automated theorem proving” online:
Shop for “Automated theorem proving” on popular online marketplaces.
- Ebay: New and used books.