510.6(063)/A16-695517         Abstraction, reformulation and approximation [Electronic resource] : 6th international symposium, SARA 2005 Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings / eds. L. Saitta, J. Zucker. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3607). - ISBN 978-3-540-31882-8 : Б. ц. ГРНТИ 27.03.19 50.01.13 28.23 УДК 510(063) 004(063) 004.8(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции    Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Saitta, L. \ed.\; SpringerLink (Online service) Свободных экз. нет