In: Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel (Hrsg.). Theorem Proving in Higher Order Logics, 22nd International Conference. …
In: Judy Kay; Bob Kummerfeld (Hrsg.). Proceedings of the Lifelong User Modelling Workshop. Lifelong User Modelling Workshop (LLUM-09), located at User …