Вы здесь

Главная

дедуктивный

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

The Halting Problem for Deductive Synthesis of Logic Programs
The Implementation of a Deductive Query Language Over an OODB
The Indefinite Closed World Assumption
The LOL Deductive Database Programming Language
The Nonmonotonic Semantics of Active Rules in Deductive Databases
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
The Revised Gardenfors Postulates and Update Semantics
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs
Towards Deductive Object Databases
Towards Inductive Object-Oriented Databases Based on Conceptual Graphs
Towards Visual Schemas in Deductive Databases
Tracking Causal Dependencies in an Active Object-Oriented Database
Transaction Safety in Deductive Object-Oriented Databases
Two-Step Deductive Verification of Control Software Using Reflex
Typed Lambada Calculi and Applications: Proc./10th International Conference, TLCA 2011, Novi Sad, Serbia, June 2011
UDOOM: Uncertainty in Deductive Object-Oriented Data Modeling
Uncertain Deductive Databases: A Hybrid Approach
Uncertainty Reasoning for the Semantic Web III: Revised Selected Papers/ISWC International Workshops URSW 2011-2013
Update Operations in Deductive Databases with Functional Dependencies
Updating Atomic Information in Labelled Database Systems
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
VALIDITY: Applications of a DOOD System
Versioning of Objects in Deductive Databases
Well-Founded Semantics for Deductive Object-Oriented Database Languages
XSB as an Efficient Deductive Database Engine
XVII. Deductive Synthesis
Автоматический синтез программ действий интеллектуальных роботов
Автоматический синтез программ с циклами и рекурсиями
Алгебраический подход к формализации дедуктивных языков запросов
Альтернативное немонотонное планирование при свободном взаимодействии процедурных и дедуктивных элементов
Анализ поведения дискретных динамических систем средствами логического программирования
Анализ регионов для дедуктивной верификации Си-программ
Атрибутные аннотации и их применение в дедуктивной верификации С-программ
Верификация и синтез программ сложения на базе правил корректности операторов
Верификация и синтез эффективных программ стандартных функций floor, isqrt и ilog2 в технологии предикатного программирования
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Дедуктивная система для неклассической верификации распределенных систем: индукция по числу параллельных компонент
Дедуктивные средства системы алгебраического программирования
Магистральная обработка одного класса рекурсивных запросов в дедуктивных базах данных
Матемтаическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ
Методы вычисления и оптимизации рекурсивных запросов в дедуктивных базах данных (V Всесоюзн. конф. "Системы баз данных и знаний")
Многоуровневый дедуктивный синтез программ
Об одном полиномиальном алгоритме обработки рекурсивных запросов в дедуктивных базах данных
Об универсальной магии
Предисловие к статье Х.А.Фернандеса и Дж.Минкера "Теория и алгоритмы дизъюнктивных дедуктивных баз данных"
Разработка сертифицированного компилятора предикатных программ
Теоория и алгоритмы дизъюнктивных дедуктивных баз данных
Эффективная обработка рекурсивных запросов в дедуктивных базах данных