E-book
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
Record details
- ISBN: 9783540318828
- Physical Description: XII, 376 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Search for related items by subject
| Subject: | Computer science. Logic design. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Mathematical Logic and Formal Languages. |
