hide
Title:
Automated Reasoning
Subtitle
:
7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014 ; Vienna, Austria, July 19-22, 2014 ; Proceedings
Abbreviation
:
IJCAR 2014
Source Genre:
Proceedings
Creator(s):
Demri, Stephane1, Editor
Kapur, Deepak1, Editor
Weidenbach, Christoph2, Editor
Affiliations:
1
External Organizations, ou_persistent22
2
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
Publ. Info:
Berlin : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
152 - 167
Identifier:
ISBN: 978-3-319-08586-9