Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung

Wolfgang Goerigk. Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung. PhD thesis, University of Kiel, Germany, 1993. [doi]

Abstract

Abstract is missing.