Полное описание
> Метакидес, Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд. - М. : Факториал, 1998. - 288 с. : ил. - Пер. изд. : Principles of logic and logic programming / G. Metakides, A. Nerode. - Amsterdam et al., 1996. - 1000 экз. - ISBN 5-88688-037-2. - Текст : непосредственный.
Библиогр.: с.275-278. Предм. указ.: с.279-285
ГРНТИ | УДК | |
50.05.19 | 510 | |
004.42.047 |
Рубрики:
Математическая логика
Программирование для ЭВМ логическое
Доп. точки доступа:
Нероуд, А.
Metakides, G.
Nerode, A.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-98/42305)>
Шифр в сводном ЭК: 6eb82341def0a536c716db32b33577c2