1 results
Пропуск в контексте
Электронная библиотека
Национальной библиотеки
Беларуси
Вход
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Язык
Электронная библиотека Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронный каталог
Все поля записи
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Udk
510.6
Отображение
1
-
1
из
1
для поиска:
'510.6'
, время запроса: 0.02сек.
Результаты на странице
20
50
100
Сортировка
Релевантность
Дата (по убыванию)
Дата (по возрастанию)
Автор
Заглавие
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
result_checkbox_label
1
Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.25.05 Автоматизированные информационные системы / Шубин Игорь Юрьевич. - Харьков, 1989. - 22 с., включая обложку
Автор
Шубин, И. Ю.
“
...004.934.2.021:
510
.
6
(043.3) 4 rus...
”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
Инструменты поиска:
RSS-поток
–
Отправить результаты поиска по Email
–
Сохранить запрос
Связанные темы
АЛГОРИТМЫ ОБРАБОТКИ ИНФОРМАЦИИ
ЛОГИКА ПРЕДИКАТОВ
МАТЕМАТИЧЕСКИЕ МОДЕЛИ
МИНИМИЗАЦИЯ ВЫЧИСЛИТЕЛЬНОЙ РАБОТЫ
ОБРАБОТКА РЕЧИ
РАСПОЗНАВАНИЕ РЕЧИ
РЕЧЕВЫЕ СИГНАЛЫ
ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ
ЯЗЫКИ ОПИСАНИЯ ДАННЫХ