Self-embeddings of Models of Peano Arithmetic.

Saeideh Bahrami

Published in: Bull. Symb. Log. (2019)

Keyphrases

real time
databases
complex systems
real world
search engine
decision trees
face recognition
similarity measure
evolutionary algorithm
neural network model