Resolution proof systems
Subtitle: an algebraic theory
By: by Zbigniew Stachniak.
Series: Automated reasoning series ;; v. 4
Publisher: Kluwer Academic Publishers; Springer
Published: 1996
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 206
Subjects: Automatic theorem proving; Artificial intelligence; Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. 195-200) and indexes.