Research Catalog
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
- Title
- Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.
- Author
- Wallen, Lincoln A.
- Publication
- Cambridge, Mass. : MIT Press, c1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 92-478 | Offsite |
Details
- Description
- 239 p. : ill.; 24 cm.
- Series Statement
- MIT Press series in artificial intelligence
- Subject
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: [228]-234.
- Call Number
- JSE 92-478
- ISBN
- 0262231441
- LCCN
- 89014539
- OCLC
- 20351829
- NYPG91-B8570
- Author
- Wallen, Lincoln A.
- Title
- Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.
- Imprint
- Cambridge, Mass. : MIT Press, c1990.
- Series
- MIT Press series in artificial intelligence
- Bibliography
- Bibliography: [228]-234.
- Research Call Number
- JSE 92-478