Automated Reasoning : 8th International Joint Conference
ISBN: 9783319402291
Information Available:
Cover Image
Copyright held by Baker & Taylor.