Login / Signup
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Thomas Ball
Jürgen Giesl
Reiner Hähnle
Tobias Nipkow
Published in:
Interaction versus Automation: The two Faces of Deduction (2009)
Keyphrases
</>
human computer interaction
document collections
face images
real time
inference rules
database
social networks
knowledge base
human faces
human operators