Handbook of Temporal Reasoning in Artificial Intelligence المزيد من الكتب المشابهة

Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠١٨
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
٢٠٠٧
Concurrency Theory Concurrency Theory
Concurrency Theory
٢٠٠٦
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠٢٠
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
٢٠١٧
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠١٧
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
٢٠١٧
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
٢٠١٦
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
٢٠١٠
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
٢٠٢٢
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠١٩
Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications
Dependable Software Engineering: Theories, Tools, and Applications
٢٠١٦
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
٢٠١٥
KI 2006: Advances in Artificial Intelligence KI 2006: Advances in Artificial Intelligence
KI 2006: Advances in Artificial Intelligence
٢٠٠٧
New Frontiers in Artificial Intelligence New Frontiers in Artificial Intelligence
New Frontiers in Artificial Intelligence
٢٠١٠