Abstracting s-semantics Using a Model-Theoretic Approach

Вы здесь

Автор:

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

Вид:

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

Год:

1994

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

Стр.:

P.432-446.

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

Bibliogr.: p.445-446.

Источник:

Том:

844

Карточка:

Б2.24, Б3.21.

Boulanger D., Bruynooghe M., Denecker M..

Abstracting s-semantics Using a Model-Theoretic Approach// Lecture Notes in Computer Science-1994.-Vol. 844.-P.432-446.
Bibliogr.: p.445-446.

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

PAP9 748