Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 1

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

Miguel, Ian. (editor.). Ruml, Wheeler. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540735809
  • Physical Description: electronic
    electronic resource
    access
    remote
    XI, 418 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Subject: Computer science
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Search Results Showing Item 1 of 1

Additional Resources