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; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses