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

• Main Author: Giesl, JΓΌrgen
• Corporate Author: SpringerLink (Online service)
• Other Authors: HΓ€hnle, Reiner
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science 6173
• Subjects: Computer science; Logic design; Computational complexity; Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Logic Design; Discrete Mathematics in Computer Science; Mathematics of Computing; Τεχνητή νοημοσύνη