Вы здесь
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