Editorial about PROOFS 2019.

Karine Heydemann Letitia Li

Published in: J. Cryptogr. Eng. (2021)

Keyphrases

special issue
theorem proving
theorem prover
data sets
equational theories
databases
mathematical proofs
pattern recognition
multi agent systems
computational complexity
probabilistic model
search algorithm
feature extraction
computer vision
natural deduction
machine learning
data mining