KIT | KIT-Bibliothek | Impressum

Structuring and change in SLDNF-proofs - principles and applications

Decker, Stefan



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 274096
Erscheinungsvermerk In: Proceedings of Dagstuhl-Seminar 9639: Logic Databases and the Meaning of Change, Schloß Dagstuhl 1996. Ed.: J. Bocca. S. 54-58.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page