Вы здесь

A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementation

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

Б2.13.

Bellin G., Ketonen J..

A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementation// Theoretical Computer Science-1992, №1.-Vol. 95.-P.115-142.
Bibliogr.: p.142.

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