|
514(063)/A94-122697
Automated deduction in geometry [Electronic resource] : 5th International workshop, ADG 2004Gainesville, Fl, USA, September 16-18, 2004: revised papers / ed. : H. Hong, D. Wang. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3763). - ISBN 978-3-540-31363-2 : Б. ц.
Рубрики: Вычислительная геометрия--Съезды и конференции
См. : Текст издания Доп.точки доступа: Hong, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|