Вы здесь

Malfon B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Type Correct Programs: A Semantic Approach 1995 Malfon B., Ferrand G. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ Characterization of Some Semantics for Logic Programs with Negation and Application to Program Validation 1994 Malfon B. Logic Programming. Proc. of the 1994 Intern. Symp. 30.01.1996