Realizability algebras III: some examples.

Jean-Louis Krivine

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

Keyphrases

training examples
database
databases
neural network
three dimensional
high level
information technology
control system
spatial reasoning