Вы здесь

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