Вы здесь

Главная

условный

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

Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Branch Elimination via Multi-variable Condition Merging
Condition Graphs
Deductive Databases with Conditional Facts
Predicting Conditional Branch Directions from Previous Runs of a Program
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014
Viewing Conditional Logics of Normality as Extensions of the Modal System S4
Алгоритм оптимизации потоков работ
Компьютерная реализация устранения избыточных правил в условных системах переписывания
Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР
Системы условных редукций и их применение в проблемно-ориентированной верификации программ