Login / Signup
Writing Constructive Proofs Yielding Efficient Extracted Programs.
Aleksey Nogin
Published in:
Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
</>
database
computer programs
artificial intelligence
computer vision
bayesian networks
multiscale
cost effective
automatically extracted