Generalizations of Unification.

Alessandro Berarducci Marisa Venturini Zilli

Published in: J. Symb. Comput. (1993)

Keyphrases

theorem proving
higher order
theorem prover
database
databases
information systems
decision making
web services
training set