Вы здесь
Kunen K.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Some Remarks on the Completed Database | 1988 | Kunen K. | Logic Programming: Proc./Fifth Intern.Conf. and Symp. | 13.10.1994 | |||
СТ | Declarative Semantics of Logic Programming | 1991 | Kunen K. | EATCS Bull. | 19.09.1991 |