Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011.

Published in: UNIF (2011)

Keyphrases

lecture notes
computer science
higher order
hong kong
years ago
theorem proving
theorem prover
equational theories
lecture notes in artificial intelligence
pairwise
information systems
artificial neural networks
domain knowledge