Вы здесь
Automated Deduction in Geometry: Revised Selected Papers/9th International Workshop, ADG 2012, Edinburgh, UK, September 2012
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2013
Ключевые слова:
Стр.:
193 p.
Редактор:
Место издания:
Издательство:
Том:
7993
Карточка:
В2.11, Б4.1.
Automated Deduction in Geometry: Revised Selected Papers/9th International Workshop, ADG 2012, Edinburgh, UK, September 2012Ed. by Ida T., Fleureot J..-Berlin.: Springer, 2013.-Vol. 7993.-193 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO10 380