Главная
Авторизация
Фамилия
Пароль
 

Базы данных


Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Поисковый запрос: (<.>S=Программирование -- Логика -- Экспертные системы -- Искусственный интеллект<.>)
Общее количество найденных документов : 1
1.

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

Другие библиотеки

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)