KIT | KIT-Bibliothek | Impressum

Machine-assisted program construction and modification

Heisel, Maritta; Reif, Wolfgang; Stephan, Werner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 138889
Erscheinungsvermerk In: Proceedings of the 13th German Workshop on Artificial Intelligence (GWAI 89). Ed.: D. Metzing. Berlin 1989. S. 238-347. (Informatik-Fachberichte. 216.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page