KIT | KIT-Bibliothek | Impressum

Temporal logic programming based on CLP

Brzoska, Christoph



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 203492
Erscheinungsvermerk In: Sprachen fuer KI-Anwendungen. Hrsg.: H. Boley. Muenster: Univ. 1992. S. 96-101. (Angewandte Mathematik und Informatik. 1992,12.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page