Unique Existence and Computability in Constructive Reverse Mathematics.

Hajime Ishihara

Published in: CiE (2007)

Keyphrases

artificial intelligence
cooperative
computer science
complementarity problems
neural network
real world
decision making
multimedia
three dimensional
objective function
video sequences
expert systems
dynamic programming
computer algebra
computer algebra systems