Transformation-Based Bottom-Up Computation of the Well-Founded Model | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1996

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

семантика

логический

программа

алгоритм

Стр.:

48 p.

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

Bibliogr.: p.45-48

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

Номер:

MIP-9620

Карточка:

Б2.2, Б3.21.

Zukowski U., Freitag B., Brass S..

Transformation-Based Bottom-Up Computation of the Well-Founded Model-Passau., 1996.-48 p.-(Препринт Univ.Passau №MIP-9620).
Bibliogr.: p.45-48

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

PREP2 418