Eine Methode zur Aktualisierung Aussagenlogischer Wissensbasen
By: Andreas Weber
Contributors: Universität Karlsruhe
Published: 1987
Language: ger
Number of pages: 112
Notes: Thesis (doctoral)--Universität Karlsruhe, 1987.