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

Centrum voor wiskunde en informatica (Amsterdam).
Report:Computer science / CWI. - Amsterdam : [s. n.]. - Текст : непосредственный.
CS-R9216 : A theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi. - Amsterdam : [s. n.], 1992. - 15 p. : ill.

ГРНТИ	УДК
50	004(05)

Доп. точки доступа:
Marchiori, E.
Palamidessi, C.

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

Шифр в сводном ЭК: 3832e92eda138e9592a13ecfb4e3b8a1

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