Вы здесь

Foo N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Deduced Relevant Types and Constractive Negation 1988 Foo N., Rao A., Taylor A., Walker A. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 29.09.1994