On the Cobham-Semenov Theorem.

Françoise Point Véronique Bruyère

Published in: Theory Comput. Syst. (1997)

Keyphrases

von neumann
social networks
three dimensional
similarity measure
interactive theorem proving
database
neural network
high quality
reinforcement learning
viewpoint