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