Вид документа : Монографическая серия Шифр издания : 510.6(063)/A16 Заглавие : Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings Выходные данные : Berlin; Heidelberg : Springer, 2007 Коллективы : SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4612 Вид и объем ресурса: Electronic text data 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)