Вы здесь

Automated Deduction - CADE-13: Proc./13th Intern. Conf. on Automated Deduction. New Brunswick, NJ, USA, July-August 1996

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

В2.11, Б2.13, Б2.14.

Automated Deduction - CADE-13: Proc./13th Intern. Conf. on Automated Deduction. New Brunswick, NJ, USA, July-August 1996/Ed. by Mcrobbie M. A., Slaney J. K..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1104.-764 p.-(Lecture Notes in Artificial Intelligence).

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