KIT | KIT-Bibliothek | Impressum | Datenschutz

Regular signed resolution applied to annotated logic programs

Messing, Barbara



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 246095
Erscheinungsvermerk In: Proceedings of the 1995 International Symposium ILPS 95, Portland, Or. Ed.: J. Lloyd. MIT Pr. 1995. S. 638.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page