A Proof Theory for Description Logics المزيد من الكتب المشابهة

Interactive Theorem Proving

٢٠١٦

Interactive Theorem Proving

٢٠١٨

Automated Reasoning

٢٠١٨

Interactive Theorem Proving

٢٠١٥

Logic, Rationality, and Interaction

٢٠١٧

Interactive Theorem Proving

٢٠١٧

Automated Reasoning

٢٠١٦

Foundations of Information and Knowledge Systems

٢٠٢٠

Foundations of Information and Knowledge Systems

٢٠١٦

Languages: From Formal to Natural

٢٠٠٩

Towards Mechanized Mathematical Assistants

٢٠٠٧

Foundations of Information and Knowledge Systems

٢٠١٨

Logics of Specification Languages

٢٠٠٧

Rules and Reasoning

٢٠١٩

Language, Logic, and Computation

٢٠١٩