Modelling algebraic structures and morphisms in ACL2.

Jónathan Heras Francisco-Jesús Martín-Mateos Vico Pascual

Published in: Appl. Algebra Eng. Commun. Comput. (2015)

Keyphrases

algebraic structures
partially ordered sets
inductive inference
database
real time
machine learning
preprocessing
natural language learning
data sets
information systems
database systems
data structure
similarity search
conceptual modelling