Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml.
E-book
Electronic resources
Record details
- ISBN: 9783540735809
- Physical Description: XI, 418 p. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Search for related items by subject
Subject: | Computer science. Logic design. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Logics and Meanings of Programs. |