Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
логический
Связанные издания:
Принципы реализации недоопределенного логического вывода
Программирование в ограничениях на Флэнге
-программирование и задачи дискретной оптимизации
Программная за ита дисков
Программное моделирование параллельной системы дедуктивного вывода
Разработка и использование прототипов информационно-расчетных систем на основе логического программирования
Разработка принципов и методов построения устройств логического управления дискретными технологическими процессами на основе сетей Петри
Расширение логического языка спецификации автоматов и проблема синтеза
Реализация логического подхода к пословному распознаванию речи
Решения примитивных систем логико-векторных соотношений
Решения примитивных систем логических соотношений с функциональными и предикатными неизвестными
Система алгебраического программирования АПС-1
Системы логических соотношений с атомарными объектами
Системы логических соотношений с параметрами
Смешанные вычисления и процедуры поиска логического вывода
Спецификация и верификация систем логического управления реального времени
Спецификация и интерпретация логических выражений в системе автоматизации конструирования программных моделей вычислительных систем
Ускорение логического проектирования надежных управляю их автоматов
Ускорение логического проектирования надежных управляю их автоматов. II
Условия в вычисляемых полях в отчетах и формах Paradox
Флэнг - язык для искусственного интеллекта
Функциональные и логические языки программирования (формализация, анализ, интерпретация)
ЭКСИЛОР - экспертная система логического распознавания
Экспериментальное исследование оптимизаций декларативных продукций
Языки спецификаций и логическое программирование
Язык логического программирования МПРОЛОГ
Язык Лола, программируемые вентильные матрицы и программируемые логические устройства в обучении проектированию цифровых схем
Язык программирования К
« первая
‹ предыдущая
…
18
19
20
21
22
23
24
25
26