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