М. Т. Наунг
Жанры и тэги:
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описа…
Подробнее