KIT | KIT-Bibliothek | Impressum

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
Jahr 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