Inequality in Constructive Mathematics.

Published in: Notre Dame J. Formal Log. (1991)

Keyphrases

computer science
machine learning
multi agent
artificial neural networks
computer algebra
database
computer vision
special case