Unification: What is it, how do we Reach and why do we Want it?

Published in: Synth. (1999)

Keyphrases

higher order
theorem prover
theorem proving
automated theorem proving
databases
multi agent systems
expert systems
email