On the Axiomatizability of the Notion of an Automorphism of a Finite Order.

D. A. Anapolitanos Jouko A. Väänänen

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

Keyphrases

real time
image processing
digital libraries
fixed order
databases
machine learning
genetic algorithm
computer vision
knowledge base
decision trees
support vector
computer science
probabilistic model
management system