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