Вы здесь

Felly A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs 1990 Felly A. Lecture Notes in Artificial Intelligence 14.03.1991