Formal Methods in Artificial Intelligence | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Монография

Год:

1988

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

искусственный интеллект

формальный метод

исчисление

доказательство

временной

Стр.:

279 p.

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

Bibliogr.: p.273-275

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

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

Cambridge University Press

Серия:

Cambridge Tracts in Theoretical Computer Science

Карточка:

В2.11, Б2.13, Б2.14.

Ramsay A..

Formal Methods in Artificial Intelligence-Cambridge, New York.: Cambridge University Press, 1988.-279 p.-(Cambridge Tracts in Theoretical Computer Science).
Bibliogr.: p.273-275

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

MONO5 109