Model Checking: Knowledge, Actions and Fixpoints | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Humboldt Univ. Berlin

Вид:

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

Год:

2004

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

пропозициональный

динамический

логика знаний

неподвижная точка

Стр.:

P.351-357

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

Bibliogr.: p.357

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

Источник:

Concurrency, Specification and Programming - CS&P 2004

Том:

2

Карточка:

Б2.2, Б2.14.

Shilov N. V., Garanina N. O., Kalinina N. A..

Model Checking: Knowledge, Actions and Fixpoints-Berlin.// Concurrency, Specification and Programming - CS&P 2004, 2004.-Vol. 2.-P.351-357
Bibliogr.: p.357

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

ISI2 805