KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA497981

Using many-sorted inference rules to generate semantic analysis

Glesner, Sabine; Zimmermann, Wolf



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator KITopen-ID: 49798
Erschienen in Promotion tut not: Innovationsmotor Graduiertenkolleg. Hrsg.: O. Spaniol. Aachen 1997
Verlag Verl. der Augustinus-Buchhandlung, Aachen
Serie Aachener Beiträge zur Informatik ; 21
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page