Research Catalog
First-order logic and automated theorem proving
- Title
- First-order logic and automated theorem proving / Melvin Fitting.
- Author
- Fitting, Melvin, 1942-
- Publication
- New York : Springer-Verlag, c1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 92-2110 | Offsite |
Details
- Description
- xiii, 242 p. : ill.; 24 cm.
- Series Statement
- Texts and monographs in computer science
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [233]-236) and index.
- Call Number
- JSE 92-2110
- ISBN
- 0387972331 (alk. paper)
- 3540972331
- LCCN
- 89026321
- OCLC
- 20828057
- NYPG93-B12055
- Author
- Fitting, Melvin, 1942-
- Title
- First-order logic and automated theorem proving / Melvin Fitting.
- Imprint
- New York : Springer-Verlag, c1990.
- Series
- Texts and monographs in computer science
- Bibliography
- Includes bibliographical references (p. [233]-236) and index.
- Research Call Number
- JSE 92-2110