Research Catalog
Automated theorem proving : a logical basis / Donald W. Loveland.
- Title
- Automated theorem proving : a logical basis / Donald W. Loveland.
- Author
- Loveland, Donald W.
- Publication
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U. S.A. and Canada, Elsevier North-Holland, 1978.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSD 79-877 | Offsite |
Details
- Description
- xii, 405 p. : ill.; 23 cm.
- Series Statement
- Fundamental studies in computer science, 6
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [395]-399.
- Call Number
- JSD 79-877
- ISBN
- 0720404991
- LCCN
- 76054345
- OCLC
- 2597406
- NYPG794516898-B
- Author
- Loveland, Donald W.
- Title
- Automated theorem proving : a logical basis / Donald W. Loveland.
- Imprint
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- Series
- Fundamental studies in computer science, 6
- Bibliography
- Bibliography: p. [395]-399.
- Research Call Number
- JSD 79-877