Catalog

Record Details

Catalog Search



Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings  Cover Image E-book E-book

Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta.

Gabbrielli, Maurizio. (editor.). Gupta, Gopal. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540319474
  • Physical Description: XIV, 454 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Subject: Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Programming Techniques.
Artificial Intelligence (incl. Robotics).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.

Electronic resources



Additional Resources