Полное описание
> Logic at botik'89 : symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / Ed.: A. R. Meyer, М. А. Тайцлин ; сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин. - Berlin [etc.] : Springer, 1989. - X,289 p. p. : ill. - (Lecture notes in computer science ; n363). - ISBN 3-540-51237-3. - Текст : непосредственный.
Библиогр.в конце ст.
ГРНТИ | УДК | |
50.07 | 510.285(063) |
Рубрики:
Математическая логика -- Применение в вычислительной технике -- Съезды и конференции
Кл.слова (ненормированные): ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа:
Meyer, A.R.\ed.\
Тайцлин, М.А.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/363)>
Шифр в сводном ЭК: 6157456f30d94e64e52dd47596cd9cc1
Заказ фрагмента документа ₽