Вы здесь

Natural Deduction Intuitionistic Non-commutative Linear Logic

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.295-309.
Библиография: 
Bibliogr.: p.308-309
Издательство: 
Том: 
1581
Карточка: 

Б2.13.

Polakow J., Pfenning F..

Natural Deduction Intuitionistic Non-commutative Linear Logic: Springer// Lecture Notes in Computer Science-1999.-Vol. 1581.-P.295-309.
Bibliogr.: p.308-309

Таблица в старой библиотеке: 
PAP19 387