Login / Signup
Introduction to the PROOFS 2016 special section.
Naofumi Homma
Published in:
J. Cryptogr. Eng. (2017)
Keyphrases
</>
special section
special issue
theorem prover
award winning
formal proofs
theorem proving
genetic algorithm
decision making
similarity measure
objective function
first order logic
mathematical proofs