Вы здесь

Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2015
Стр.: 
640 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
9195
Карточка: 

Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015/Ed. by Felty A. P., Middeldorp A..-Berlin.: Springer, 2015.-Vol. 9195.-640 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO11 287