Research Catalog
Automated theorem proving : a logical basis
- 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 | Use in library | QA76.9.A96 L68 | Off-site |
Holdings
Details
- Description
- xii, 405 p. : ill.; 23 cm.
- Series Statement
- Fundamental studies in computer science ; 6
- Subject
- Automatic theorem proving
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [395]-399.
- ISBN
- 0720404991
- LCCN
- 76054345
- OCLC
- ocm02597406
- SCSB-242723
- Owning Institutions
- Princeton University Library