Dovier, Agostino.
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP / [electronic resource] : edited by Agostino Dovier, Enrico Pontelli. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6125 0302-9743 ; . - Lecture Notes in Computer Science, 6125 .
9783642143090
10.1007/978-3-642-14309-0 doi
Computer science.
Information theory.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Mathematics of Computing.
Theory of Computation.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP / [electronic resource] : edited by Agostino Dovier, Enrico Pontelli. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6125 0302-9743 ; . - Lecture Notes in Computer Science, 6125 .
9783642143090
10.1007/978-3-642-14309-0 doi
Computer science.
Information theory.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Mathematics of Computing.
Theory of Computation.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131