Полное описание
> 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.
>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9216)>
Шифр в сводном ЭК: 3832e92eda138e9592a13ecfb4e3b8a1
Заказ фрагмента документа ₽