Automated Reasoning : Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001
ISBN: 9783540422549



Information Available:
Summary
Cover Image
Table Of Contents





Copyright held by Baker & Taylor.