KIT | KIT-Bibliothek | Impressum | Datenschutz

Logic Programming With KARL

Fensel, Dieter; Angele, Jürgen; Studer, Rudi



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 1993
Sprache Englisch
Identifikator KITopen-ID: 1000093450
Erschienen in Proceedings of the 9th German Workshop on Logic Programming, Hagen, Germany, October 11-13, 1993
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page