Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
- Editors
- (view affiliations)
Conference proceedings
IJCAR 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8562)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8562)