Automated reasoning and its applications - Info and Reading Options
essays in honor of Larry Wos
By Larry Wos, Robert Veroff and Gail W. Pieper
"Automated reasoning and its applications" was published by MIT Press in 1997 - Cambridge, Mass, it has 247 pages and the language of the book is English.
“Automated reasoning and its applications” Metadata:
- Title: ➤ Automated reasoning and its applications
- Authors: Larry WosRobert VeroffGail W. Pieper
- Language: English
- Number of Pages: 247
- Publisher: MIT Press
- Publish Date: 1997
- Publish Location: Cambridge, Mass
“Automated reasoning and its applications” Subjects and Themes:
- Subjects: Automatic theorem proving - Artificial intelligence
Edition Specifications:
- Pagination: viii, 247 p. ;
Edition Identifiers:
- The Open Library ID: OL1011329M - OL18924099W
- Online Computer Library Center (OCLC) ID: 36103675
- Library of Congress Control Number (LCCN): 96051916
- ISBN-10: 0262220555
- All ISBNs: 0262220555
AI-generated Review of “Automated reasoning and its applications”:
Read “Automated reasoning and its applications”:
Read “Automated reasoning and its applications” by choosing from the options below.
Search for “Automated reasoning and its applications” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Automated reasoning and its applications" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: borrow
- Check if available: The Open Library & The Internet Archive
Find “Automated reasoning and its applications” in Libraries Near You:
Read or borrow “Automated reasoning and its applications” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Automated reasoning and its applications” at a library near you.
Buy “Automated reasoning and its applications” online:
Shop for “Automated reasoning and its applications” on popular online marketplaces.
- Ebay: New and used books.