Typisierung und Modularisierung von Prolog für die Verwirklichung grosser Softwareprojekte

Thomas Philipp. Typisierung und Modularisierung von Prolog für die Verwirklichung grosser Softwareprojekte. PhD thesis, University of Erlangen-Nuremberg, Germany, 1993. [doi]

Abstract

Abstract is missing.