Custom cover image
Custom cover image

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: MIT Press series in artificial intelligencePublisher: Cambridge, Mass. [u.a.] : MIT Pr., 1990Description: 239 SISBN:
  • 0262231441
Other title:
  • Nebent.: Automated deduction in nonclassical logics
  • Automated deduction in nonclassical logics
Subject(s): Genre/Form: MSC: MSC: *03B35 | 03-02 | 68-02 | 68T15 | 03B10 | 03B20 | 03B45 | 03F05RVK: RVK: SK 130 | ST 304LOC classification:
  • QA9.54
Dissertation note: Teilw. zugl.: Edinburgh, Univ. : Diss Call number: Grundsignatur: 90 A 715PPN: PPN: 025232118
Holdings
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

Powered by Koha