A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dovier, Agostino (Επιμελητής έκδοσης), Pontelli, Enrico (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6125
• Θέματα: Computer science.; Software engineering.; Computer programming.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Mathematics of Computing.; Theory of Computation.

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and...