First-Order Quasi-canonical Proof Systems.

Yotam Dvir Arnon Avron

Published in: TABLEAUX (2019)

Keyphrases

higher order
distributed systems
database
evolutionary algorithm
management system
computer systems
data sets
machine learning
decision making
web services
bayesian networks
learning systems
theorem prover
computing systems