Вы здесь

Главная

ограничение

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

5. Spatio-temporal Models and Languages: An Approach Based on Constraints
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
Abstracting Numerical Values in CLP(H,N)
Abstracting Synchronization in Concurrent Constraint Programming
Abstract Interpretation and Finite Domain Symbolic Constraints
Abstraction, Reformulation and Approximation: Proc./6th International Symposium, SARA 2005. Airth Castle, Scotland, UK, July 2005
Abstract Verification and Debugging of Constraint Logic Programs
A Causal Semantics for Timed Default Concurrent Constraint Programming
AC Circuit Complexity
Accommodating Integrity Constraints During Database Design
Accurate Projective Reconstruction
A Checkable Interface Language for Pointer-Based Structures
A Component Language for Hybrid Solver Cooperations
A comprehensive framework for modeling set-based business rules during conceptual database design
A Comprehensive Framework for Specifying Clairvoyance, Constraints and Periodicity in Real-Time Scheduling
A Computation Model for Z Based on Concurrent Constraint Resolution
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice
A Confluent Relational Calculus for Higher-Order Programming with Constraints
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks
A Constraint-Based Approach to Shape Management in Multimedia Databases
A Constraint-Based Language for Virtual Agents
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
A Constraint Oriented Proof Methodology Based on Model Transition Systems
A Control Language for Designing Constraint Solvers
Adapting Integrity Enforcement Techniques for Data Reconciliation
Adaptive Constraint Handling with CHR in Java
A Dataflow Semantics for Constraint Logic Programs
Adding Inclusion Dependencies to an Object-Oriented Data Model with Uniqueness Constraints
Adding Linear Constraints over Real Numbers to Curry
Adding Uniqueness Constraint to Description Logics
A Decision Graph Algorithm for CCP Languages
A Distributed Approach to Partial Constraint Satisfaction Problems
Advanced Intelligent Computing: Revised Selected Papers/7th International Conference, ICIC 2011, Zhengzhou, China, August 2011
Advances in Artificial Intelligence: Proc./30th Canadian Conference on AI, Canadian AI 2017, Edmonton,AB,Canada, May 2017
Advances in Natural Computation: Part I: Proc./Second International Conference, ICNC 2006. Xi an, China, September 2006
Advances in Swarm Intelligence, Part I: Proc./8th International Conference, ICSI 2017, Fukuoka, Japan, July 2017
A Fast Method for Ensuring the Consistency of Integrity Constraints
A Feature Constraint System for Logic Programming with Entailment
A First Step Towards Implementing Dynamic Algebraic Dependencies
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
A Framework for Resource-Constrained Rate-Optimal Software Pipelining
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation
Agent-Oriented Analysis and Modeling
Agents and Data Mining Interaction: Revised Selected Papers/7th International Workshop, ADMI 2011, Taipei, Taiwan, May 2011
A Higher-Order Logic Programming Language with Constraints
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints
AI*IA 2005: Adcances in Artificial Intelligence: Proc./9th Congress of the Italian Association for Artificial Intelligence. Milan, Italy, September 2005
AKL(FD) - A Concurrent Language for FD Programming
A lambda-Calculus for Resource Separation