Read Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... (Lecture Notes in Computer Science (8562)) Reader
Add Comment
... (Lecture Notes in Computer Science (8562)),
2014,
Austria,
Automated Reasoning: 7th International Joint Conference,
Held as Part of the Vienna Summer of Logic,
IJCAR 2014,
July 19-22,
Vienna
Edit
Read Online Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austri...
Read More
