KIT | KIT-Bibliothek | Impressum | Datenschutz

Model generation theorem proving with interval constraints

Haehnle, Reiner; Hasegawa, Ryuzo; Shirai, Y.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 326195
Erscheinungsvermerk In: Proceedings of ILPS Post-Conference Workshop on Interval Constraints, Portland/OR 1995. Ed.: F. Benhamou. S. 50-65.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page