Tutorial on Linear Logic

Вы здесь

Автор:

Troelstra A. S.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1992

Ключевые слова:

линейный

логика

Стр.:

P.30-31

Библиография:

Bibliogr.: p.31

Место издания:

Cambridge

Издательство:

The MIT Press

Источник:

Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming

Карточка:

Б2.13, В1.4.

Troelstra A. S..

Tutorial on Linear Logic-Cambridge.: The MIT Press// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.30-31
Bibliogr.: p.31

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

LOG1 258