Вы здесь
Верификация комбинированных логик знаний, действий и времени в моделях
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2006
Ключевые слова:
Стр.:
С.114-173
Библиография:
Библиогр.: c.171-173
Место издания:
Издательство:
Серия:
Источник:
Том:
10
Карточка:
Б2.23.
Гаранина Н. О., Шилов Н. В..
Верификация комбинированных логик знаний, действий и времени в моделях-Новосибирск.: Изд-во СО РАН// Системная информатика, 2006.-Vol. 10.-С.114-173-(Системная информатика).
Библиогр.: c.171-173
Таблица в старой библиотеке:
ISI2 853