Research Catalog
Automated theorem proving : theory and practice
- Title
- Automated theorem proving : theory and practice / Monty Newborn.
- Author
- Newborn, Monroe.
- Publication
- New York : Springer, [2001], ©2001.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
Not available - Please for assistance. | book & CD | Text | Request in advance | QA76.9.A96 N49 2001 book & CD | Off-site |
Holdings
Details
- Description
- xiii, 231 pages : illustrations; 25 cm +
- Subject
- Automatic theorem proving
- Bibliography (note)
- Includes bibliographical references (p. [207]-210) and index.
- System Details (note)
- System requirements: Unix, Linux, Solaris, FreeBSD, or AIX.
- ISBN
- 0387950753 (alk. paper)
- LCCN
- 00056315
- OCLC
- ocm44461999
- SCSB-4084607
- Owning Institutions
- Columbia University Libraries