Catalog

Record Details

Catalog Search


Search Results Showing Item 10 of 12

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

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: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 10 of 12

Additional Resources