Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
предикаты
Связанные издания:
Adding Semantic and Syntactic Predicates to LL(k):pred-LL(k)
Detecting Atomic Sequences of Predicates in Distributed Computations
Detecting Relational Global Predicates in Distributed Systems
Layered Predicates
Logical Definability of NP-Optimisation Problems with Monadic Auxiliary Predicates
Parameterized Reachability Trees for Predicate/Transition Nets
Performance Debugging using Parallel Performance Predicates
Автоматизация вывода для прикладных позитивных исчислений в экспертных системах
Константность информационно замкнутых операторов