PROOFS 2018 Editorial.

Lejla Batina Nele Mentens

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

Keyphrases

special issue
theorem proving
formal proofs
theorem prover
mathematical proofs
database
machine learning
natural deduction
database systems
video sequences
cooperative
expert systems
pairwise
probabilistic model
cut elimination
formal proof