Вы здесь

The -Calculus as a Theory in Linear Logic: Preliminary Results

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.242-264.
Библиография: 
Bibliogr.: p.263-264.
Издательство: 
Том: 
660
Карточка: 

Б2.13.

Miller D..

The -Calculus as a Theory in Linear Logic: Preliminary Results: Springer// Lecture Notes in Artificial Intelligence-1992.-Vol. 660.-P.242-264.
Bibliogr.: p.263-264.

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