Synthesis from Knowledge-Based Specifications

Вы здесь

Автор:

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

Вид:

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

Год:

1998

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

Стр.:

P.34-49.

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

Bibliogr.: p.47-49

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

Источник:

Том:

1466

Карточка:

Б3.21.

Van Der Meyden R., Vardi M. Y..

Synthesis from Knowledge-Based Specifications: Springer// Lecture Notes in Computer Science-1998.-Vol. 1466.-P.34-49.
Bibliogr.: p.47-49

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

PAP18 510