Вы здесь

Theorem Proving in Higher Order Logics: Proc./15th Intern. Conf., TPHOLs 2002, Hampton, VA, USA, August 2002

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

Б2.14, В2.11.

Theorem Proving in Higher Order Logics: Proc./15th Intern. Conf., TPHOLs 2002, Hampton, VA, USA, August 2002Ed. by Carreno V. A., Munoz C. A., Tahar S..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2410.-349 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO4 96