A Finite Matrix Whose Set of Tautologies Is Not Finitely Axiomatizable.

Wieslaw Dziobiak

Published in: Reports Math. Log. (1991)

Keyphrases

finite number
neural network
small number
databases
information retrieval
artificial intelligence
computer vision
least squares
hierarchical structure