A Formalization of Finite Group Theory: Part II.

David M. Russinoff

Published in: CoRR (2023)

Keyphrases

equational theories
artificial intelligence
theoretical framework
theoretical basis
information systems
knowledge base
theoretical foundation
formal model
general theory
real time
data sets
image sequences
similarity measure
multi agent systems
conceptual framework
finite automata