Вы здесь

Theorem Proving in Higher Order Logics: Proc./20th International Conference, TPHOLs 2007. Kaiserslautern, Germany, September 2007

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

Б2.13, В2.11.

Theorem Proving in Higher Order Logics: Proc./20th International Conference, TPHOLs 2007. Kaiserslautern, Germany, September 2007Ed. by Scheider K., Brandt J..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4732.-401 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO6 655