A theorem on cocongruence of rings.

Daniel Abraham Romano

Published in: Math. Log. Q. (1990)

Keyphrases

von neumann
multiscale
information retrieval
training set
viewpoint
interactive theorem proving
databases
artificial intelligence
database systems
cooperative
relational databases
image analysis