Вы здесь

The logic-termal quivalence is polynomial-time decidable

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1980
Стр.: 
P.57-62
Номер: 
2
Том: 
10
Карточка: 

Sabelfeld V. K..

The logic-termal quivalence is polynomial-time decidable// Information Processing Letters-1980, №2.-Vol. 10.-P.57-62

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