Rich Co-ordinals, Addition Isomorphisms, and Rets.

Alfred B. Manaster

Published in: J. Symb. Log. (1969)

Keyphrases

high level
bayesian networks
data sets
databases
neural network
real world
information retrieval
image sequences
face recognition
high quality
theorem proving