Catalog

Record Details

Catalog Search


Search Results Showing Item 2 of 2

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Electronic resources

Record details

  • ISBN: 9783540318828
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 376 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Subject: Computer science
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Search Results Showing Item 2 of 2

Additional Resources