Unification of Idempotent Functions.

Stefan Kühner Chris Mathis Peter Raulefs Jörg H. Siekmann

Published in: IJCAI (1977)

Keyphrases

data sets
higher order
database
search space
machine learning
digital libraries
theorem prover
theorem proving