Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
формула
Связанные издания:
Applications and Theory of Petri Nets: Proc./30th International Conference, PETRI NETS 2009. Paris, France, June 2009
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Theory and Applications of Satisfiability Testing - SAT 2016: Proc./19th International Conference, Bordeaux, France, July 2016
Transactions on Computational Systems Biology XIV. Special Issue on Computational Models for Cell Processes
Автоматизация подготовки печатного материала на ЭВМ BURROUGHS-6700, Процессоры для подготовки текстов, формул и распечаток
Алгоритм вычисления степенных сумм корней для класса систем нелинейных уравнений
Алгоритмические вопросы конъюнктивной декомпозиции булевых формул
Вычисление значений логических формул на конечных моделях в системах представления знаний
Кубатурные формулы на заданных решётках
Метод раздельного резольвирования для проверки выполнимости формул языка
Метод элиминации структур данных, основанный на системах переписывания формул
Модель декларативных продукций с обоб енными операциями
Определение класса истинности логических формул методом направленного перебора
Применение систем переписывания формул в автоматической верификации программ
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов
Системы переписывания формул
Системы переписывания формул и их применение в автоматической верификации программ
Способы решения некоторых проблем при вставке таблиц, формул и рисунков в Microsoft Word
Теория систем переписывания формул
Упрощающие процедуры для типов данных, основанные на системах переписывания формул