IJCAR 2010, Giesl, J. e., & Hähnle, R. e. (2010). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (1st ed. 2010.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-14203-1
Chicago Style CitationIJCAR 2010, Jürgen. editor Giesl, and Reiner. editor Hähnle. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings. 1st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-14203-1.
MLA CitationIJCAR 2010, et al. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings. 1st ed. 2010. Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-14203-1.
Harvard Style CitationIJCAR 2010, Giesl, J. e. & Hähnle, R. e. 2010. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings. 1st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg.
Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie Settings
