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