Unification-free Execution of Well-moded and Well-typed Prolog Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Krishna Rao M.R. K.

Shyamasundar R. K.

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

1

Вид:

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

Год:

1995

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

программа

унификация

статистический

Стр.:

P.243-260

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

Bibliogr.: p.260

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

Серия:

Lecture Notes in Computer Science

Источник:

Static Analysis

Том:

983

Карточка:

Б2.2, Б3.2.

Krishna Rao M.R. K., Shyamasundar R. K..

Unification-free Execution of Well-moded and Well-typed Prolog Programs-Berlin, Heidelberg.// Static Analysis, 1995.-Vol. 983.-P.243-260-(Lecture Notes in Computer Science).
Bibliogr.: p.260

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

PAP13 585