Login / Signup
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem.
Paulo Oliva
Silvia Steila
Published in:
J. Symb. Log. (2018)
Keyphrases
</>
interactive theorem proving
deductive databases
theorem prover
database
real time
databases
data mining
machine learning
artificial intelligence
decision making
image sequences
artificial neural networks
complex objects
strictly convex