27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013
Published in: UNIF@RTA/TLCA (2013)
Keyphrases
- expert systems
- lecture notes in artificial intelligence
- higher order
- selected papers
- revised selected papers
- equational theories
- theorem proving
- lecture notes
- artificial intelligence
- knuth bendix
- information technology
- pattern recognition
- theorem prover
- video sequences
- conference proceedings
- training set
- evolutionary algorithm
- semi supervised
- machine learning
- real time