Вы здесь

Theorem Proving in Higher Order Logics: Proc./11th Intern. Conf., TPHOLs 98. Canberra, Australia, September-October 1998

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

Б2.23, Б2.1, В2.11.

Theorem Proving in Higher Order Logics: Proc./11th Intern. Conf., TPHOLs 98. Canberra, Australia, September-October 1998Ed. by Grundy J., Newey M..-Berlin, Heidelberg.: Springer, 1998.-Vol. 1479.-497 p.-(Lecture Notes in Computer Science).

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