Title: Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
Subjects: Automatic theorem proving, Logic design, Electronic data processing, Artificial intelligence, Software engineering, Logic, symbolic and mathematical