Automated theorem proving: after 25 years - Info and Reading Options
"Automated theorem proving: after 25 years" was published by American Mathematical Society in 1984 - Providence, R.I and it has 1 pages.
“Automated theorem proving: after 25 years” Metadata:
- Title: ➤ Automated theorem proving: after 25 years
- Number of Pages: 1
- Publisher: American Mathematical Society
- Publish Date: 1984
- Publish Location: Providence, R.I
Edition Identifiers:
- ISBN-13: 9780821876145
- All ISBNs: 9780821876145
AI-generated Review of “Automated theorem proving: after 25 years”:
Read “Automated theorem proving: after 25 years”:
Read “Automated theorem proving: after 25 years” by choosing from the options below.
Search for “Automated theorem proving: after 25 years” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Automated theorem proving: after 25 years” in Libraries Near You:
Read or borrow “Automated theorem proving: after 25 years” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Automated theorem proving: after 25 years” at a library near you.
Buy “Automated theorem proving: after 25 years” online:
Shop for “Automated theorem proving: after 25 years” on popular online marketplaces.
- Ebay: New and used books.