Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - International Conference on Automated Deduction 2007 : Bremen, Germany); Pfenning, Frank; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses