Вы здесь

Главная

логический

Связанные издания:

Построение логической спецификации реактивного алгоритма
Представление неполноты данных и встроенный логический вывод
Применение логических правил вывода в реляционных СУБД
Принципы реализации недоопределенного логического вывода
Проблемы логической организации рефлексивных процессов: Тезисы докладов и сообщений к научно-методической конференции 2-4 декабря 1986 г.
Проверка правильности логических утверждений о программах на языке СЕТЛ
Программирование в ограничениях на Флэнге
-программирование и задачи дискретной оптимизации
Программная за ита дисков
Программное моделирование параллельной системы дедуктивного вывода
Разработка и использование прототипов информационно-расчетных систем на основе логического программирования
Разработка принципов и методов построения устройств логического управления дискретными технологическими процессами на основе сетей Петри
Разработка принципов и методов построения устройств логического управления дискретными технологическими процессами на основе сетей Петри
Расширение логического языка спецификации автоматов и проблема синтеза
Реализация логического подхода к пословному распознаванию речи
Решения примитивных систем логико-векторных соотношений
Решения примитивных систем логических соотношений с функциональными и предикатными неизвестными
Система алгебраического программирования АПС-1
Системы логических соотношений с атомарными объектами
Системы логических соотношений с параметрами
Смешанные вычисления и процедуры поиска логического вывода
Спецификация и верификация систем логического управления реального времени
Спецификация и интерпретация логических выражений в системе автоматизации конструирования программных моделей вычислительных систем
Ускорение логического проектирования надежных управляю их автоматов
Ускорение логического проектирования надежных управляю их автоматов. II
Условия в вычисляемых полях в отчетах и формах Paradox
Флэнг - язык для искусственного интеллекта
Функциональные и логические языки программирования (формализация, анализ, интерпретация)
Цифровые устройства на основе универсальных программируемых логических матриц
ЭКСИЛОР - экспертная система логического распознавания
Экспериментальное исследование оптимизаций декларативных продукций
Языки спецификаций и логическое программирование
Язык логического программирования МПРОЛОГ
Язык Лола, программируемые вентильные матрицы и программируемые логические устройства в обучении проектированию цифровых схем
Язык программирования К