Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings - International Conference on Automated Deduction 2005 : Tallinn, Estonia); Nieuwenhuis, Robert (Berlin ; New York : Springer, 2005)
Includes bibliographical references and index.
Also available on the World Wide Web.
Keywords: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses