UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012
Published in: UNIF (2014)
Keyphrases
- lecture notes
- computer science
- revised selected papers
- lecture notes in artificial intelligence
- international symposium
- advances in artificial intelligence
- international conference
- hong kong
- data mining
- e learning
- higher order
- proceedings of the th international conference
- equational theories
- selected papers
- theorem prover
- data sets
- computational intelligence
- information systems
- artificial intelligence
- neural network