Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 1996 |
Sprache | Deutsch |
Identifikator | ISSN: 1166-3081 urn:nbn:de:swb:90-AAA1537967 KITopen-ID: 153796 |
Erschienen in | Journal of Applied Non-classical Logics |
Verlag | Lavoisier |
Band | 6 |
Heft | 1 |
Seiten | 49 - 69 |