Ordered groups: a case study in reverse mathematics.

Published in: Bull. Symb. Log. (1999)

Keyphrases

computer science
experimental conditions
test bed
information retrieval
similarity measure
real world
computer vision
knowledge base
metadata
three dimensional
objective function
artificial neural networks
partially ordered