Discrete equational theories.

Published in: Math. Struct. Comput. Sci. (2024)

Keyphrases

equational theories
theorem proving
finite number
discrete geometry
machine learning
artificial intelligence
probabilistic reasoning
continuous variables
discrete version