Catalog

Record Details

Catalog Search



Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko.

Electronic resources

Record details

  • ISBN: 9783642314858
  • Physical Description: VIII, 265 p. 41 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: Computer science.
Computer software.
Logic design.
Computational complexity.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Artificial Intelligence (incl. Robotics).

Additional Resources