Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Heidelberg: Springer Verlag, 491 pp. Softcover. Very Good copy: wraps show light creasing and edgewear. Insides clean; contents clean with unmarked text. LNAI #3097. Very Good.
ISBN: 3540223452

Item #0055530

Price: $12.80