Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Збережено в:
| Автор: | |
|---|---|
| Співавтор: | |
| Інші автори: | |
| Формат: | eКнига |
| Мова: | English |
| Опубліковано: |
Berlin Heidelberg
Springer
2006
|
| Серія: | Lecture Notes in Computer Science,
3763 |
| Предмети: | |
| Онлайн доступ: | Click here to view the full text content |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Фізичний опис: | 1 online resource digital. |
|---|---|
| ISBN: | 9783540313632 9783540313328 |
| ISSN: | 0302-9743 ; |