Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016.

Published in: UNIF (2016)

Keyphrases

lecture notes
computer science
lecture notes in artificial intelligence
theorem proving
higher order
united kingdom
equational theories
computational vision
management system
computer vision
pattern recognition
multi agent systems
viewpoint
image analysis
theorem prover