Вы здесь

Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014

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

Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014/Ed. by Demri S., Kapur D., Weidenbach Ch..-Berlin.: Springer, 2014.-Vol. 8562.-528 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO10 732