Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
By: Joachim F. Schreiber.
Series: Informatik; Informatik (Munich, Germany)
Publisher: H. Utz Wissenshaft
Published: 1996
Place of publication: München
Language: ger
Number of pages: 163
Subjects: Automatic theorem proving.; Horn clauses.
Notes: Includes bibliographical references (p. 152-159) and index.
Originally presented as the author's thesis (doctoral)--München, Univ. der Bundeswehr, 1996.