%0 Thesis %1 dix1992nichtmonotones %A Dix, Jürgen %D 1992 %K dnb Informatik Datenverarbeitung %T Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme

@phdthesis{dix1992nichtmonotones, added-at = {2015-09-09T11:20:45.000+0200}, author = {Dix, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/208f539a1ccabc013d2e688eef1953fa1/genealogie}, dnbtitleid = {930662369}, interhash = {190388fad29305ca83797c1861b2368d}, intrahash = {08f539a1ccabc013d2e688eef1953fa1}, keywords = {dnb Informatik Datenverarbeitung}, school = {Uni Karlsruhe}, timestamp = {2015-09-09T11:20:45.000+0200}, title = {Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme}, year = 1992 }