Вы здесь

Automatic Termination Analysis of Logic Programs

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.63-77.
Библиография: 
Bibliogr.: p.76-77
Место издания: 
Издательство: 
Источник: 
Карточка: 

Б2.23.

Lindenstrause N., Sagiv Y..

Automatic Termination Analysis of Logic Programs-Cambridge.: The MIT Press// Logic Programming, 1997.-P.63-77.
Bibliogr.: p.76-77

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