Вы здесь
A New Type Theory for Representing Logics
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Стр.:
P.146-157.
Библиография:
Bibliogr.: p.154-156
Издательство:
Источник:
Том:
698
Карточка:
Б2.11, Б2.13, Б2.14.
Gardner Ph..
A New Type Theory for Representing Logics: Springer// Lecture Notes in Artificial Intelligence-1993.-Vol. 698.-P.146-157.
Bibliogr.: p.154-156
Таблица в старой библиотеке:
PAP6 344