Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 2

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 1 of 2

Additional Resources