cyclic proofs.

Sorin Stratulat

Published in: Ann. Math. Artif. Intell. (2023)

Keyphrases

mathematical proofs
theorem proving
formal proofs
natural deduction
theorem prover
real time
equational theories
formal proof
medical images
computer vision
real world
data structure
video sequences
decision making
learning algorithm
genetic algorithm
machine learning
mathematical knowledge
databases
database