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