E-book
Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
Record details
- ISBN: 9783540735809
-
Physical Description:
electronic
electronic resource
access
remote
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 |
