Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: MIT Press series in artificial intelligencePublisher: Cambridge, Mass. [u.a.] : MIT Pr., 1990Description: 239 SISBN:- 0262231441
- Nebent.: Automated deduction in nonclassical logics
- Automated deduction in nonclassical logics
- QA9.54
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 715 | Available | 46031305090 |
Total holds: 0