Data storage interpretation of labeted modal logic

Вы здесь

Автор:

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

Вид:

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

Год:

2004

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

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

Источник:

Карточка:

CD, Б2.13.

Artemov S., Krupski V..

Data storage interpretation of labeted modal logic-Москва.// Moscow Computer Sience School 2004, 2004.

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

PAP29 483