APL2 implementations of unification.

James A. Brown Ramiro Guerreiro

Published in: APL (1987)

Keyphrases

higher order
efficient implementation
theorem proving
databases
neural network
artificial intelligence
computational complexity
data analysis
theorem prover