KIT | KIT-Bibliothek | Impressum

Correctness of full first-order specifications

Reif, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 254692
Erscheinungsvermerk In: 4th Conference on Software Engineering and Knowledge Engineering, Capri, Italy 1992. Los Alamitos, CA 1992.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page