Login / Signup
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette.
Laura I. Meikle
Jacques D. Fleuriot
Published in:
Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
</>
theorem prover
distributed systems
end users
user interface
relevance feedback
website
intelligent systems
knowledge based systems
user interaction
user centric
user experience
user feedback
query formulation
user groups
grayscale images
human users
building blocks
collaborative filtering