Полное описание

J2/25078
International workshop on the HOL theorem proving system and its applications (1991 ; Davis,Ca). Proceedings of the 1991 international workshop on the HOL theorem proving system and its applications,Aug.28-30,1991,Davis(Ca) / HOL 91 ; International workshop on the HOL theorem proving system and its applications (1991 ; Davis,Ca) . - Los Alamitos, Ca [etc.] : IEEE computer soc. press, 1992. - XIX,411 p. p. : ill. - ISBN 0-8186-2460-4 : 80000 р. - Текст : непосредственный.
Библиогр.в конце статей.Указ.в конце книги

ГРНТИ	УДК
27.03.19	510(062)

Рубрики:
Математическая логика -- Съезды и конференции

Доп. точки доступа:
Archer, M.\ed.\

Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:

Заказать издание
Заказ фрагмента документа ₽