|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Применение спецификаций при верификации баз знаний экспертных системстатья
- Автор: Смирнов В.В.
- Сборник: Научная сессия МИФИ-2003. Сборник научных трудов в 14 томах
- Том: 3
- Год издания: 2003
- Место издания: МИФИ (ГУ) Москва
- Первая страница: 158
- Последняя страница: 159
- Аннотация: В работе рассматривается подход к сравнению методов верификации баз знаний, используя представление аномалий в виде троек Хоара.
- Добавил в систему: Смирнов Виталий Валерьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | MEPHI03_V3_5.BMP | 780,0 КБ | 10 апреля 2020 [Vitaly_Smirnov] | |
| 2. | Полный текст | 158.pdf | 435,7 КБ | 10 апреля 2020 [Vitaly_Smirnov] |