Research Catalog
Principles of automated theorem proving
- Title
- Principles of automated theorem proving / David A. Duffy.
- Author
- Duffy, David A.
- Publication
- Chichester ; New York : Wiley, c1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 92-942 | Offsite |
Details
- Description
- xviii, 243 p.; 25 cm.
- Series Statement
- Wiley professional computing
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 225-232) and index.
- Call Number
- JSE 92-942
- ISBN
- 0471927848
- LCCN
- 91009103
- OCLC
- 23178272
- NYPG91-B64873
- Author
- Duffy, David A.
- Title
- Principles of automated theorem proving / David A. Duffy.
- Imprint
- Chichester ; New York : Wiley, c1991.
- Series
- Wiley professional computing
- Bibliography
- Includes bibliographical references (p. 225-232) and index.
- Research Call Number
- JSE 92-942