Вы здесь

Art K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An analysis of loop checking mechanisms for logic programs 1991 Bol R., Art K., Klop J. Theoretical Computer Science 18.09.1991