On Equational Completeness Theorems.

Tommaso Moraschini

Published in: J. Symb. Log. (2022)

Keyphrases

equational theories
theorem proving
data quality
digital topology
data sets
neural network
data mining
pairwise
image retrieval
theorem prover
ordered sets
knowledge base
multiscale
object recognition
computer science
expert systems