Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ : учебное пособие / В. В. Девятков, И. И. Лычков, М. Т. Наунг ; Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет)"
Язык: русский.Выходные данные: Москва : Изд-во МГТУ им. Н.Э.Баумана, 2021Физическая характеристика: 54, [2] c. : ил. ; 20 см.ISBN: 978-5-7038-5590-4 Библиография: Библиогр.: с. 53-54 (25 назв.).Предметная рубрика - Тема: PROLOG, язык программирования -- Учебные издания для высших учебных заведений | Интеллектуальные информационные системы -- Верификация -- Прототипирования метод -- Учебные издания для высших учебных заведений Другие классификации: З973.23-018я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж, Хран. | 2021-4/12283 (Просмотр полки(Открывается ниже)) | КН-П-3916 | Доступно | 1-3588553 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж, Хран. | 2021-4/12283 (Просмотр полки(Открывается ниже)) | КН-П-3916 | Доступно | 1-3588554 |
Библиогр.: с. 53-54 (25 назв.)