Automated Deduction – CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning.
E-book
Electronic resources
Record details
- ISBN: 9783540735953
- Physical Description: XII, 522 p. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.