Вы здесь

Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016

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

Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016/Ed. by Olivetti N., Tiwari A..-Berlin.: Springer, 2016.-Vol. 9706.-580 p.-(Lecture Notes in Artificial Intelligence).

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