Вы здесь

Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009

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

Б2.

Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009Ed. by Berghofer S., Nipkow T., Urban Ch., Wenzel M..-Berlin.: Springer, 2009.-Vol. 5674.-517 p.-(Lecture Notes in Computer Science).

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