Вы здесь
Ross B. J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | An Algebraic Semantics of Prolog Program Termination | 1991 | Ross B. J., Smaill A. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 |