Вы здесь

Kemp R. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Algebraic Framework for Abstract Interpretation of Definite Programs 1990 Kemp R. S., Ringwood G. A. Logic Programming: Proc./1990 North American Conf. 24.11.1994