Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
темпоральный
Связанные издания:
0*=
Abduction in Temporal Reasoning
A Combination of Clausal and Non Clausal Temporal Logic Programs
A Conceptual Development Framework for Temporal Information Systems
A Consensus Glossary of Temporal Database Concepts
Actions and Events in Interval Temporal Logic
A Decision Algorithm for Full Propositional Temporal Logic
A Decision Model for Choosing the Optimal Level of Storage in Temporal Databases
A Decision Procedure for a Temporal Belief Logic
A Dense-Time Temporal Logic with Nice Compositionality Properties
Advances in Databases and Information Systems: Proc./20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 2016
Advances in Knowledge Discovery and Data Mining, Part II: Proc./19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 2015
Advances in Spatial and Temporal Databases: Proc./12th International Symposium, SSTD 2011, Minneapolis,MN,USA, August 2011
Advances in Spatial and Temporal Databases: Proc./15th International Symposium, SSTD 2017, Arlington,VA,USA, August 2017
A Family of Temporal Terminological Logics
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
A Formal Temporal Object-Oriented Data Model
A Framework for Developing Temporal Databases
A Framework for Temporal Object Databases
A Glossary of Temporal Database Concepts
A Graph-Based Approach to Resolution in Temporal Logic
A Graphical Query Language for Temporal Databases
A Hierarchy of Partial Order Temporal Properties
A Hierarchy of Temporal Logics with Past
A HOL Formalisation of the Temporal Logic of Actions
Algebraic Acpects of the Relational Knowledge Representation: Modal Relation Algebras
Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases
Algorithmic Verification of Linesr Temporal Logic Specifications
A Linear Temporal Logic Approach to Objects with Transactions
A Logic-Based Foundation of Discrete Event Modeling and Simulation
Alternating-Time Temporal Logic
A Modal Logic for KLAIM
A Model Calculus of Partially Ordered Events in a Logic Programming Framework
A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema Versioning
An Algebra for a Temporal Object Data Model
An Algebraic Approach to Temporal Logic
Analyzing Timing Requirements
An Architecture for Supporting Interoperability among Temporal Databases
An Automata-Theoretic Approach to Linear Temporal Logic
An Automata-Theoretic Decision Procedure for Future Interval Logic
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces
An Extended Temporal Logic for CSCW
An extended temporal system based on points and intervals
An Introduction to Assertional Reasoning for Concurrent Systems
An Introduction to Executable Modal and Temporal Logics
Annotated Constraint Logic Programming Applied to Temporal Reasoning
Annotation-Based Deduction in Temporal Logic
An Object-Oriented Approach to a Temporal Query Language
An Object-Oriented Framework for Temporal Data Models
An Object-Oriented Temporal Model
1
2
3
4
5
6
7
8
следующая ›
последняя »