Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hill, Patricia M. (Επιμελητής έκδοσης), Warren, David S. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5649
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Mathematics of Computing.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.

This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium arti...