Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
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. |