Вы здесь

Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012

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

В2.11, Б2.14, Б2.2.

Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012/Ed. by Gramlich B., Miller D., Sattler U..-Berlin.: Springer, 2012.-Vol. 7364.-568 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO9 476