Grammars for Language and Genes More Books Like This
Formal Grammar
2018
Languages: From Formal to Natural
2009
Automated Reasoning
2018
Automated Reasoning
2016
Interactive Theorem Proving
2018
Logic, Rewriting, and Concurrency
2015
Interactive Theorem Proving
2015
Towards Mechanized Mathematical Assistants
2007
Interactive Theorem Proving
2016
Formal Concept Analysis
2010
Interactive Theorem Proving
2017
Aspects of Automatic Text Analysis
2007
Language, Logic, and Computation
2019
Rules and Reasoning
2019
Foundations of Information and Knowledge Systems
2018