Canonical Structures for the Working Coq User.

Assia Mahboubi Enrico Tassi

Published in: ITP (2013)

Keyphrases

end users
user interface
user experience
user requirements
case study
real world
image structure
user preferences
user centric
database
user satisfaction
user model
user profiles
user interaction
collaborative filtering
computer vision
artificial intelligence
information retrieval