Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution
By: Rüdiger Wirth
Published: 1989
Place of publication: Stuttgart
Language: ger
Number of pages: 135
Notes: Thesis (doctoral)--Stuttgart, Univ., Fak. für Informatik, 1989.