Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme
By: von Jürgen Dix
Contributors: Universität Karlsruhe
Published: 1992
Language: ger
Number of pages: 193
Notes: Thesis (doctoral)--Universität Karlsruhe, 1992.