Login / Signup
Length and Structure of Proofs.
Rohit Parikh
Published in:
Synth. (1998)
Keyphrases
</>
data sets
structural properties
information retrieval
relational databases
database
real time
neural network
data mining
machine learning
genetic algorithm
search engine
video sequences
graph structure
geometric structure