Books and Book Editorships:
B. Gramlich, D. Miller, U. Sattler:
"Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings.";
in series "Lecture Notes in Artifical Intelligence (Subseries of: Lecture Notes in Computer Science)",
series editor: R. Goebel, Y. Tanaka, W. Wahlster;
issued by: Springer;
Springer-Verlag,
Berlin Heidelberg,
2012,
ISBN: 978-3-642-31364-6,
568 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-31365-3
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_216369.pdf
Created from the Publication Database of the Vienna University of Technology.