Catalog

Record Details

Catalog Search



Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby.

Croitoru, Madalina. (editor.). Rudolph, Sebastian. (editor.). Wilson, Nic. (editor.). Howse, John. (editor.). Corby, Olivier. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642294495
  • Physical Description: VII, 209 p. 77 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: Computer science.
Computer software.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Programming Techniques.
Computation by Abstract Devices.

Additional Resources