This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Buy Handbook of Automated Reasoning book by Alan J. A. Robinson from Australia's Online Independent Bookstore, Boomerang Books.
(240mm x 165mm x 52mm)
Publisher: Elsevier Science & Technology
Country of Publication: