Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Доступно
1 из 1
Доступно
1 из 1
51 Л694
Сортировать по: заглавиюдате издания
Доступно
1 из 1
Книга
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Наука, 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Наука, 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх
Заказать 
На полку Доступно
1 из 1
Книга
Логическая структура научного знания: [cборник статей]
Наука, 1965 г.
ISBN отсутствует
НТБ МЭИ : Кх
Логическая структура научного знания: [cборник статей]
Наука, 1965 г.
ISBN отсутствует
НТБ МЭИ : Кх