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