Automated Reasoning : 5th International Joint Conference, Ijcar 2010, Edinburgh, Uk, July 16-19, 2010, Proceedings
ISBN: 9783642142031
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.