Вы здесь

Automated Deduction - CADE-12: Proc./12th Intern. Conf. on Automated Deduction. Nancy, France, June-July 1994

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

В2.11, Б2.13, Б2.31.

Automated Deduction - CADE-12: Proc./12th Intern. Conf. on Automated Deduction. Nancy, France, June-July 1994/Ed. by Bundy A..-Berlin, Heidelberg.: Springer, 1994.-Vol. 814.-848 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO1 623