Вы здесь

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