Вы здесь

Главная

On Nontermination of Knuth-Bendix Algorithm

Автор: 
Hermann M.
Privara I.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1985
Стр.: 
46 p.
Библиография: 
Bibliogr.: p.45-46
Место издания: 
Bratislava
Издательство: 
Springer
Карточка: 

Б2.1, Б2.3, Б2.23.

Hermann M., Privara I..

On Nontermination of Knuth-Bendix Algorithm-Bratislava.: Springer, 1985.-46 p.
Bibliogr.: p.45-46

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