Generalizations of the Dennis-Moré Theorem.

Asen L. Dontchev

Published in: SIAM J. Optim. (2012)

Keyphrases

von neumann
information systems
neural network
artificial intelligence
computer vision
knowledge base
natural language
expert systems
interactive theorem proving