Tableau, Tableauresolution, und Tableaugraphresolution
Subtitle: ein neuer Weg zur automatischen Deduktion
By: Wanlin Li.
Series: Europäische Hochschulschriften. Reihe XLI, Informatik,; Bd. 6 =; Publications universitaires européennes. Série XLI, Informatique ;; vol. 6 =; European university studies. Series XLI, Informatic ;; vol. 6; Europäische Hochschulschriften.; Bd. 6.
Publisher: P. Lang; Lang AG International Academic Publishers, Peter
Published: 1991
Place of publication: Frankfurt am Main; New York
Language: ger
Number of pages: 107
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (p. 96-100).
Thesis (doctoral)--Universität Karlsruhe, 1991.