Login / Signup

LCF: A Way of Doing Proofs with a Machine.

Robin Milner
Published in: MFCS (1979)
Keyphrases
  • artificial intelligence
  • formal proof
  • database
  • real time
  • batch processing
  • data sets
  • genetic algorithm
  • website
  • flowshop
  • formal proofs