Login / Signup
maximality theorem.
Richard Ketchersid
Paul B. Larson
Jindrich Zapletal
Published in:
J. Symb. Log. (2010)
Keyphrases
</>
von neumann
three dimensional
machine learning
high level
lower bound
digital topology
databases
artificial intelligence
case study
interactive theorem proving