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
2018년
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
2007년
Concurrency Theory Concurrency Theory
Concurrency Theory
2006년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2020년
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
2017년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2017년
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
2017년
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2016년
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010년
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2022년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2019년
Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications
Dependable Software Engineering: Theories, Tools, and Applications
2016년
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
2015년
KI 2006: Advances in Artificial Intelligence KI 2006: Advances in Artificial Intelligence
KI 2006: Advances in Artificial Intelligence
2007년
New Frontiers in Artificial Intelligence New Frontiers in Artificial Intelligence
New Frontiers in Artificial Intelligence
2010년