Automatic Termination Analysis of Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Lindenstrause N.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1997

Ключевые слова:

программа

логический

завершение

Стр.:

P.63-77.

Библиография:

Bibliogr.: p.76-77

Место издания:

Издательство:

Источник:

Logic Programming

Карточка:

Б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