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

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. - Текст : непосредственный.
Библиогр.в конце статей.Указ.в конце книги

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

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

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/25078)

Шифр в сводном ЭК: 563b64b347c48876c2aa6b56c6d2a3b9

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