Вы здесь

Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006

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

Б2.14, Б2.3, В2.1.

Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006Ed. by Furbach U., Shankar N..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4130.-680 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO6 91