Catalog

Record Details

Catalog Search


Search Results Showing Item 117 of 533

Electronic resources

Record details

  • ISBN: 9781402094095
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2009.
Subject: Mathematics
Logic
Artificial intelligence
Algebra
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Artificial Intelligence (incl. Robotics)
Logic
Order, Lattices, Ordered Algebraic Structures
Search Results Showing Item 117 of 533

Additional Resources