Login / Signup

Partial impredicativity in reverse mathematics.

Henry Towsner
Published in: J. Symb. Log. (2013)
Keyphrases
  • computer science
  • machine learning
  • expert systems
  • mobile robot
  • e learning
  • multimedia
  • objective function