Вы здесь

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