Catalog

Record Details

Catalog Search



A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP  Cover Image E-book E-book

A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli.

Dovier, Agostino. (editor.). Pontelli, Enrico. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642143090
  • Physical Description: XIV, 329p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: 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).

Electronic resources



Additional Resources