Вы здесь
Tableau for Intuitionistic Predicate Logic as Metatheory
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.138-153.
Библиография:
Bibliogr.: p.153.
Издательство:
Источник:
Том:
918
Карточка:
Б2.13.
Underwood J..
Tableau for Intuitionistic Predicate Logic as Metatheory: Springer// Lecture Notes in Artificial Intelligence-1995.-Vol. 918.-P.138-153.
Bibliogr.: p.153.
Таблица в старой библиотеке:
PAP11 797