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

• Κύριος συγγραφέας: Giesl, JΓΌrgen
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: HΓ€hnle, Reiner
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6173
• Θέματα: 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; Τεχνητή νοημοσύνη