Gramlich, B., Miller, D., & Sattler, U. (2012). Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.
ISBD ZitierstilAutomated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler . — Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. — Online-Ressource (XIV, 568p. 90 illus, digital). — (Lecture notes in computer science ; 7364). — ISBN 9783642313653
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.