Login / Signup
On the construction of unifying terms modulo a set of substitutions.
Steffen Lange
Published in:
Bull. EATCS (1987)
Keyphrases
</>
small number
data sets
information retrieval
genetic algorithm
artificial intelligence
information systems
expert systems
relational databases
background knowledge