Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Giesl, Jürgen (Editor), Hähnle, Reiner (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6173
• Subjects: Computer science.; Logic design.; Architecture, Computer.; Computer programming.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer System Implementation.; Programming Techniques.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Logic Design.

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the confere...