Login / Signup
Formalizing non-standard arguments in second-order arithmetic.
Keita Yokoyama
Published in:
J. Symb. Log. (2010)
Keyphrases
</>
user interface
database
data mining
artificial intelligence
knowledge base
case study
multiscale
higher order