Research Catalog
Automated theorem-proving in non-classical logics
- Title
- Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer.
- Author
- Thistlewaite, Paul B.
- Publication
- London : Pitman ; New York : Wiley, 1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 88-1231 | Offsite |
Details
- Additional Authors
- Description
- 154 p. : ill.; 25 cm.
- Series Statement
- Research notes in theoretical computer science, 0268-7534
- Subjects
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: p. 135-142.
- Call Number
- JSE 88-1231
- ISBN
- 0470210060 (Wiley)
- LCCN
- 87025052
- OCLC
- 16756892
- NYPG88-B42498
- Author
- Thistlewaite, Paul B.
- Title
- Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer.
- Imprint
- London : Pitman ; New York : Wiley, 1988.
- Series
- Research notes in theoretical computer science, 0268-7534
- Bibliography
- Bibliography: p. 135-142.
- Added Author
- McRobbie, M. A. (Michael A.)Meyer, Robert K.
- Research Call Number
- JSE 88-1231