Essai de Typologie Structurelle des Indices de Similarité Vectoriels par Unification Relationnelle.

François Marcotorchino

Published in: AAFD (2008)

Keyphrases

higher order
theorem proving
equational theories
data mining
search engine
databases
tree structures
knuth bendix
database
information retrieval
information systems
pattern recognition
computational complexity
data model
multi dimensional
theorem prover