Proximity-based unification theory.

Pascual Julián Iranzo Clemente Rubio-Manzano

Published in: Fuzzy Sets Syst. (2015)

Keyphrases

information systems
higher order
computational model
database
digital libraries
theoretical framework
genetic algorithm
special case
clustering method
theorem proving
equational theories