Jürgen Dix: Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme. (1992)phd/dnb/Dix92930662369Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme.1Jürgen Dix11-193Karlsruhe Institute of Technology, Germany1992provenance information for RDF data of dblp record 'phd/dnb/Dix92'2021-07-17T09:03:09+0200