Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Учебная литература - результаты поиска

Вид поиска
Художественная литература
Периодические издания
Научные публикации
Учебная литература
УМКД ФГОС-3
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=логическое моделирование<.>)
Общее количество найденных документов : 1
1.
32.81
Л69

   
    Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Н. А. Алешина, А. М. Анисов, П. И. Быстров. - М. : Наука, 1990. - 240с. : ил. - Б. ц.
ББК 32.81

Кл.слова (ненормированные):
логическое моделирование -- искусственный интеллект



Доп.точки доступа:
Алешина, Н. А.; Анисов, А. М.; Быстров, П. И.
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)