Revision by Communication: Program Revision by Consulting Weaker Semantics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Van Der Hoek W.

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

логическое программирование

семантика

Стр.:

20 p.

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

Bibliogr.: p.19-20

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

Серия:

Lecture Notes in Artificial Intelligence

Номер:

UU-CS-1994-56

Карточка:

Б2.14.

Witteveen C., Van Der Hoek W..

Revision by Communication: Program Revision by Consulting Weaker Semantics-Utrecht., 1994.-20 p.-(Препринт Univ. Utrecht №UU-CS-1994-56).-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.19-20

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

PREP2 522