Вы здесь
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.106-121.
Библиография:
Bibliogr.: p.120-121.
Издательство:
Источник:
Том:
918
Карточка:
Б2.13, В2.11.
Schmitt S., Kreitz C..
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs: Springer// Lecture Notes in Artificial Intelligence-1995.-Vol. 918.-P.106-121.
Bibliogr.: p.120-121.
Таблица в старой библиотеке:
PAP11 795