ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Захарьящев, М. В.
Сортировать по: заглавиюСвязанные описания:
Книга
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх, Уч.аб.
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх, Уч.аб.
Заказать 
На полку
Книга
Математическая логика в программировании. Сборник статей
Мир, 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх
Математическая логика в программировании. Сборник статей
Мир, 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх