Automated Reasoning : 7th International Joint Conference, Ijcar 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
ISBN: 9783319085876
Information Available:
Summary
Copyright held by Baker & Taylor.