Вы здесь

Automated Deduction - CADE-15: Proc./15th Intern. Conf. on Automated Deduction. Lindau, Germany, July 1998

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

В2.11.

Automated Deduction - CADE-15: Proc./15th Intern. Conf. on Automated Deduction. Lindau, Germany, July 1998/Ed. by Kirchner C., Kirchner H..-Berlin, Heidelberg.: Springer, 1998.-Vol. 1421.-443 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO2 606