Вы здесь

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