Automated Deduction CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
edited by Robert Nieuwenhuis.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 3632
ISBN: 9783540318644