Designing APL2 programs for unification.

James A. Brown Ramiro Guerreiro

Published in: APL (1987)

Keyphrases

databases
higher order
real time
information retrieval
artificial intelligence
database
neural network
machine learning
high level
image sequences
theorem proving
function symbols
equational theories