Login / Signup

maximality theorem.

Richard KetchersidPaul B. LarsonJindrich 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