Logic, Rationality, and Interaction More Books Like This

Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
2019
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
2018
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
2020
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2016
Automated Reasoning Automated Reasoning
Automated Reasoning
2018
A Proof Theory for Description Logics A Proof Theory for Description Logics
A Proof Theory for Description Logics
2012
Automated Reasoning Automated Reasoning
Automated Reasoning
2016
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
2009
Artificial Intelligence Logic and Applications Artificial Intelligence Logic and Applications
Artificial Intelligence Logic and Applications
2022
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015