Automated Reasoning
Subtitle: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
By: edited by Bernhard Gramlich, Dale Miller, Uli Sattler
Contributors: Miller, Dale; Sattler, Uli; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7364
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642313653
Subjects: Mathematical Logic and Formal Languages; Software engineering; Electronic data processing; Logic design; Logics and Meanings of Programs; Computer science; Numeric Computing; Mathematics of Computing; Artificial intelligence; Artificial Intelligence (incl. Robotics)