The Computational Content of Arithmetical Proofs.

Published in: Notre Dame J. Formal Log. (2012)

Keyphrases

multimedia
neural network
multimedia content
real time
multimedia data
user experience
web content
theorem proving
mathematical programming
user generated content
content management