Вы здесь

RTL and Refutation by Positive Cycles

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.659-680.
Библиография: 
Bibliogr.: p.679-680.
Том: 
873
Карточка: 

Б2.1.

Wang F., Mok A. K..

RTL and Refutation by Positive Cycles// Lecture Notes in Computer Science-1994.-Vol. 873.-P.659-680.
Bibliogr.: p.679-680.

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