Image from Amazon.com
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings [electronic resource] / edited by Frank Pfenning.
Series: Lecture Notes in Computer Science ; 4603Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: xii, 522 p. : ill., digital ; 24 cmISBN:- 9783540735953 (electronic bk.)
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.