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

By D. Basin

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540223452
• ISBN13: 9783540223450
• Release Date: June 2004
• Publisher: Springer
• Length: 491 Pages
• Weight: 2.61 lbs.
• Dimensions: 1.0" x 8.5" x 11.0"