Вы здесь

Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017

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

Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017/Ed. by De_Moura L..-Berlin.: Springer, 2017.-Vol. 10395.-582 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO12 490