510.6(063) A16         Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings / eds.: I. Miguel, W. Ruml. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4612). - ISBN 978-3-540-73580-9 : Б. ц. ГРНТИ 27.03.19 51.01.13 28.23 УДК 510.6(063) 004(063) 004.8(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции    Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Miguel, I. \ed.\; SpringerLink (Online service) Свободных экз. нет