Resultados de procura - "Modal and temporal logics"
Suggested Topics within your search.
Suggested Topics within your search.
- Automated reasoning 2
- Deontic Logic 2
- Equational logic and rewriting 2
- First-order logic 2
- Higher order logic 2
- Interactive proof systems 2
- Intuitionistic Logics 2
- Logic 2
- Logic and verification 2
- Modal Logics 2
- Modal and temporal logics 2
- Non-classical Logics 2
- Programming logic 2
- Proof theory 2
- Rewriting 2
- Satisfiability Solving 2
- Separation logic 2
- Theorem Proving 2
- thema EDItEUR::U Computing and Information Technology::UK Computer hardware 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 2
- Description logics 1
- Description logics, 1
Search alternatives:
-
Automated Reasoning
Publicado 2024Subjects: “...Modal and temporal logics...”
Ligazón do recurso
Online -
Automated Reasoning
Publicado 2024Subjects: “...Modal and temporal logics...”
Ligazón do recurso
Online