C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalizing Ordinal Partition Relations Using Isabelle/HOL.
Mirna Dzamonja
Angeliki Koutsoukou-Argyraki
Lawrence C. Paulson
Published in:
Exp. Math. (2022)
Keyphrases
</>
theorem prover
natural deduction
inference rules
higher order logic
first order logic
decision trees
machine learning
binary relations
theorem proving
query language
causal relations
database
evolutionary algorithm
pairwise
website
databases
data sets