Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

автоматический

доказательство

программа

Стр.:

P.503-517

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

Bibliogr.: p.517

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

Источник:

Logic Programming: Proc./1991 Intern. Symp.

Карточка:

Б3.14, Б2.14.

Plumer L..

Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms-Cambridge.// Logic Programming: Proc./1991 Intern. Symp., 1991.-P.503-517
Bibliogr.: p.517

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

LOG1 342