Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Доступно
30 из 30
Доступно
2 из 3
Доступно
1 из 1
510 М545
Сортировать по: заглавиюдате издания

Доступно
30 из 30
Книга
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх, Уч.аб.
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх, Уч.аб.

Доступно
2 из 3
Книга
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
НТБ МЭИ : Кх, Учз
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
НТБ МЭИ : Кх, Учз

Доступно
1 из 1
Книга
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх