A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs

Вы здесь

Автор:

Felly A.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1990

Ключевые слова:

логический

преобразование

дедукция

Стр.:

P.157-178.

Библиография:

Bibliogr.: p.177-178

Источник:

Lecture Notes in Artificial Intelligence

Том:

475

Карточка:

В2.11.

Felly A..

A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs// Lecture Notes in Artificial Intelligence-1990.-Vol. 475.-P.157-178.
Bibliogr.: p.177-178

Таблица в старой библиотеке:

PAP1 300