On the Sequential Nature of Unification.

Cynthia Dwork Paris C. Kanellakis John C. Mitchell

Published in: J. Log. Program. (1984)

Keyphrases

learning environment
higher order
real time
databases
machine learning
artificial intelligence
information systems
image processing
website
multi agent systems
theorem proving