A Proof Theory for Description Logics More Books Like This

Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018
Automated Reasoning Automated Reasoning
Automated Reasoning
2018
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015
Logic, Rationality, and Interaction Logic, Rationality, and Interaction
Logic, Rationality, and Interaction
2017
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017
Automated Reasoning Automated Reasoning
Automated Reasoning
2016
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2020
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2016
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
2009
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2018
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2019
Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
2019