Login / Signup
Hilbert's Tenth Problem for Weak Theories of Arithmetic.
Richard Kaye
Published in:
Ann. Pure Appl. Log. (1993)
Keyphrases
</>
theoretical framework
information retrieval
cognitive psychology
clifford algebra
neural network
real world
website
decision trees
artificial neural networks
floating point
international symposium
design theory
legal knowledge