Logic, Rationality, and Interaction المزيد من الكتب المشابهة

Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
٢٠١٩
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
٢٠٢٠
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
٢٠١٨
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
٢٠٢٠
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
٢٠١٦
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٨
A Proof Theory for Description Logics A Proof Theory for Description Logics
A Proof Theory for Description Logics
٢٠١٢
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٦
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٦
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٨
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
٢٠٠٩
Artificial Intelligence Logic and Applications Artificial Intelligence Logic and Applications
Artificial Intelligence Logic and Applications
٢٠٢٢
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٧
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
٢٠١٥
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٥