Вы здесь

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