Login / Signup
Functional Interpretations of Feasibly Constructive Arithmetic.
Stephen A. Cook
Alasdair Urquhart
Published in:
Ann. Pure Appl. Log. (1993)
Keyphrases
</>
arithmetic operations
neural network
databases
decision making
floating point