Системы агентов, управляемых логическими программами: сложность верификации

Вы здесь

Автор:

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

Вид:

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

Год:

2009

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

Стр.:

С.37-56

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

Библиогр.: c.54-56

Источник:

Номер:

Карточка:

Б4.54.

Валиев М. К., Дехтярь М. И., Диковский А. Я..

Системы агентов, управляемых логическими программами: сложность верификации// Программирование-2009, №5.-С.37-56
Библиогр.: c.54-56

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

PAP31 457