Вы здесь

Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009

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

В2.1, Б2.2.

Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009/Ed. by Schmidt R. A..-Berlin.: Springer, 2009.-Vol. 5663.-504 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO7 942