Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 5

Electronic resources

Record details

  • ISBN: 9783642413896
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 442 p. 201 illus., 10 illus. in color. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science
Logic
Artificial intelligence
Logic, Symbolic and mathematical
Computer Science
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Foundations
Logic
Search Results Showing Item 1 of 5

Additional Resources