Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

MLA

Pfenning, Frank and SpringerLink (Online service). Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. First edition 2007. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.

APA

Pfenning, F. & SpringerLink (Online service). (2007). Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. First edition 2007. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer.

Chicago

Pfenning, Frank and SpringerLink (Online service). Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Edited by Frank Pfenning. First edition 2007. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.