Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings [electronic resource] /
edited by Frank Pfenning.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- xii, 522 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4603 0302-9743 ; .
9783540735953 (electronic bk.)
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
9783540735953 (electronic bk.)
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.