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