Foundations of Information and Knowledge Systems More Books Like This
Foundations of Information and Knowledge Systems
2016
Foundations of Information and Knowledge Systems
2018
Automated Reasoning
2018
Automated Reasoning
2016
From Lambda Calculus to Cybersecurity Through Program Analysis
2020
Languages: From Formal to Natural
2009
Interactive Theorem Proving
2018
Interactive Theorem Proving
2015
Interactive Theorem Proving
2016
Interactive Theorem Proving
2017
Rules and Reasoning
2019
Artificial Intelligence Logic and Applications
2022
Logic, Rewriting, and Concurrency
2015
Formal Concept Analysis
2010
Logics of Specification Languages
2007