Login / Signup
-tableaux.
Samuel Fulton
Stephen O'Connor-Seville
Matthew Welz
Published in:
Australas. J Comb. (2020)
Keyphrases
</>
modal logic
decision procedures
functional dependencies
low level
natural language processing
database
machine learning
objective function
search algorithm
principal component analysis
automated reasoning
proof procedure
sequent calculi