Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Heidelberg: Springer Verlag, 2004. Paperback. 491 pp. Softcover. Very Good copy: wraps show light creasing and edgewear. Insides clean; contents clean with unmarked text. LNAI #3097.