• ВХОД

    •  

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

    Метакидес, Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд. - М. : Факториал, 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.19510
    004.42.047

    Рубрики:
    Математическая логика
    Программирование для ЭВМ логическое

    Доп. точки доступа:
    Нероуд, А.
    Metakides, G.
    Nerode, A.

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

    Шифр в сводном ЭК: 6eb82341def0a536c716db32b33577c2