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, [1990], ©1990.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA9.54 .W35 1990 | Off-site |
Details
- Description
- 239 pages : illustrations; 24 cm.
- Series Statement
- MIT Press series in artificial intelligence
- Uniform Title
- MIT Press series in artificial intelligence.
- Subjects
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: [228]-234.
- ISBN
- 0262231441
- LCCN
- 89014539
- OCLC
- 20351829
- ocm20351829
- Owning Institutions
- Columbia University Libraries