Normal view
MARC view
Abstraction, Reformulation, and Approximation Электронный ресурс 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007ISBN: 9783540735809Subject(s): Artificial intelligence | Computer Science | Logic design | Computer Science | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.