Excluded Middle versus Choice in a topos.

Bernhard Banaschewski

Published in: Math. Log. Q. (2005)

Keyphrases

neural network
artificial intelligence
trade off
decision making
artificial neural networks
image analysis
email
evolutionary algorithm
upper bound