Login / Signup
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Published in:
TABLEAUX (2021)
Keyphrases
</>
automated reasoning
international conference
decision procedures
international workshop
lecture notes in artificial intelligence
automated verification
theorem proving
learning algorithm
high level
natural language
software engineering
modal logic
knowledge discovery and data mining
reasoning systems