Image from Amazon.com
Automated Deduction - CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / edited by Robert Nieuwenhuis.
Series: Lecture Notes in Computer Science ; 3632Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005.Description: 1online resource (xiii, 457 p.) : ill., digital ; 24 cmISBN:- 9783540318644 (electronic bk.)
- 9783540280057 (paper)
- 006.3 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.