Вы здесь

Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013

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

В2.1, В2.4, Б5.2.

Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013/Ed. by Mcmillan K., Middeldorp A., Voronkov A..-Berlin.: Springer, 2013.-Vol. 8312.-845 p.-(Lecture Notes in Computer Science).

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