Вы здесь

Nakayama H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Program Transformation under the Principle of Proof as Program 1991 Nakayama H. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995