Вы здесь
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2013
Ключевые слова:
Стр.:
466 p.
Редактор:
Место издания:
Издательство:
Том:
7898
Карточка:
В2.11, Б2.2.
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012/Ed. by Bonacina M. P..-Berlin.: Springer, 2013.-Vol. 7898.-466 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO10 9