KIT | KIT-Bibliothek | Impressum | Datenschutz

Temporal logic programming with bounded universal modality goals

Brzoska, Christoph



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1993
Sprache Englisch
Identifikator KITopen-ID: 299493
Erscheinungsvermerk In: 9. Workshop Logische Programmierung, Hagen 1993. Hrsg.: C. Beierle. Hagen 1993. S. 15-17. (Bericht. Fernuniversitaet Hagen. 146.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page