Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme - Dix, Jürgen 1961- (1992)
Karlsruhe, Univ., Diss., 1992
Keywords: Nichtmonotones Schließen; Logische Programmierung; Hochschulschrift