Catalog

Record Details

Catalog Search



Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.

Janhunen, Tomi. (editor.). Niemelä, Ilkka. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642156755
  • Physical Description: XIV, 374p. 48 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: Computer science.
Software engineering.
Logic design.
Algebra > Data processing.
Information systems.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet).
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.

Additional Resources