М. Т. Наунг

Жанры и тэги:

знания и навыки учебная и научная литература учебники и пособия для вузов технические науки программирование

Посмотреть все

10.12.2023 09:00

Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ

Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описа…

Подробнее