Specifying Prolog Trace Models with a Continuation Semantics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2001

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

семантика

спецификация

формальный

Стр.:

P.165-181

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

Bibliogr.: p.179-181

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

Источник:

Lecture Notes in Computer Science

Том:

2042

Карточка:

Б3.2, Б2.24.

Jahier E., Ducasse M., Ridoux O..

Specifying Prolog Trace Models with a Continuation Semantics: Springer// Lecture Notes in Computer Science-2001.-Vol. 2042.-P.165-181
Bibliogr.: p.179-181

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

PAP23 283