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