Classical realizability and arithmetical formulæ.

Mauricio Guillermo Étienne Miquey

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

artificial intelligence
feature space
databases
information systems
viewpoint
evolutionary algorithm
cost function