KIT | KIT-Bibliothek | Impressum | Datenschutz

Nonmonotonic and inductive logic. 1st International Workshop, Karlsruhe 1990

Dix, Juergen; Jantke, K.-P.; Schmitt, Peter H.; [Hrsg.]



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Proceedingsband
Jahr 1991
Sprache Englisch
Identifikator KITopen-ID: 263491
Erscheinungsvermerk Berlin 1991. (Lecture notes in computer science. 543.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page