Developments in Formal Proofs.

Thomas C. Hales

Published in: CoRR (2014)

Keyphrases

formal proofs
artificial intelligence
computational intelligence
database systems
image analysis
knowledge discovery
object oriented
paradigm shift
technological advances