Research Catalog
Automated theorem proving : theory and practice
- Title
- Automated theorem proving : theory and practice / Monty Newborn.
- Author
- Newborn, Monroe.
- Publication
- New York : Springer, c2001.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | JSE 01-7 | Offsite |
Not available - Please for assistance. | Text | Request in advance | *WSC-1725 | Offsite |
Details
- Description
- xiii, 231 p. : ill.; 24 cm. +
- Subject
- Automatic theorem proving
- Bibliography (note)
- Includes bibliographical references (p. [207]-210) and index.
- Call Number
- JSE 01-7
- ISBN
- 0387950753 (alk. paper)
- LCCN
- 00056315
- OCLC
- vendor
- Author
- Newborn, Monroe.
- Title
- Automated theorem proving : theory and practice / Monty Newborn.
- Imprint
- New York : Springer, c2001.
- Bibliography
- Includes bibliographical references (p. [207]-210) and index.
- Research Call Number
- JSE 01-7 [Text]*WSC-1725 [Computer disc]