Bücher und Buch-Herausgaben:
B. Gramlich, D. Miller, U. Sattler:
"Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings.";
in Buchreihe "Lecture Notes in Artifical Intelligence (Subseries of: Lecture Notes in Computer Science)",
Buchreihen-Herausgeber: R. Goebel, Y. Tanaka, W. Wahlster;
herausgegeben von: Springer;
Springer-Verlag,
Berlin Heidelberg,
2012,
ISBN: 978-3-642-31364-6,
568 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-31365-3
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_216369.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.