Вход
Электронный каталог
Apt K.R. Program verification and Prolog / K. R. Apt, 1994. - 35 p. - Текст : непосредственный.
Apt K.R. Declarative programming in Prolog / K.R.Apt, 1993. - 21 p. - Текст : непосредственный.
Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный.