Autarkic Computations in Formal Proofs.

Henk Barendregt Erik Barendsen

Published in: J. Autom. Reason. (2002)

Keyphrases

formal proofs
high quality
databases
multiscale
three dimensional
bayesian networks
special case
scheduling problem
least squares