Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
1. Современное состояние верификации поведения интеллектуальных агентов
Поставить закладку
1.1. Формальные языки (модели) описания спецификаций поведения агентов
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
-
1.1. Формальные языки (модели) описания спецификаций поведения агентов
1.2. Формальные языки описания свойств спецификаций поведения агентов
Контрольные вопросы
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
+
Литература
Данный блок поддерживает скрол*