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. Very Good. Item #0055530
ISBN: 3540223452
Price: $12.80
See all items by David Basin, Rusinowitch