TY - GEN AU - Miguel,Ian AU - Ruml,Wheeler ED - SARA 2007 TI - Abstraction, reformulation, and approximation: 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings T2 - Lecture notes in computer science, Lecture notes in artificial intelligence SN - 9783540735793 (paperback) AV - QA75.7 PY - 2007/// CY - Berlin ; New York PB - Springer KW - Computer science KW - Congresses KW - Artificial intelligence KW - Electronic books (Form) N1 - Includes bibliographical references and index UR - http://link.springer.com/10.1007/978-3-540-73580-9 ER -