|
|
004.925.8(063)
A94
Automated deduction in geometry [Electronic resource] : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers / ed. F. Botana, T. Recio. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4869). - ISBN 978-3-540-77356-6 : Б. ц.
Рубрики: Вычислительная геометрия--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Botana, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|