Вы здесь

Главная

предикатный

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

A Predicate Semantics for the Refinement of Real-Time Systems
A Predicate Transformer for Unification
Enumerating Proofs of Positive Formulae
On Denotational versus Predicative Semantics
Pointwise Circunscription Is Equivalent to Predicate Completion (Sometimes)
Practical Interface Specification
Predicates as Parameters in Logic Programming
Runtime Verification: Proc./19th International Conference, RV 2019, Porto, Portugal, October 2019
Simulator for Real-Time Abstract State Machines
Spezifikationen hoherer Ordnung
The Stable Models of a Predicate Logic Program
Tools for Teaching Logic: Proc./ Third International Congress, TICTTL 2011, Salamanca, Spain, June 2011
Verification in Predicate Logic with Time: Algorithmic Questions
Введение в предикатое программирование
Демонстрация технологии предикатного программирования на задаче сортировки простыми вставками
Методы предикатного программирования: выпуск 2
Методы предикатного программирования: Сборник научных работ
Опыт предикатного программирования задачи нахождения кратчайшего пути между двумя городами
Постановка задачи верификации предикатных программ
Предикатное описание дополнительных ограничений в задачах распознавания образов
Предикатное программирование: основы, язык, технология
Разработка программы построения дерева суффиксов в технологии предикатного программирования
Решения примитивных систем логических соотношений с функциональными и предикатными неизвестными
Склеивание переменных в предикатной программе
Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу
Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу
Язык предикатного программирования P
Язык предикатного программирования P