Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta.
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. |