In: Proceedings of the International Conference on Biomedical Ontologies (ICBO). International Conference on Biomedical Ontologies (ICBO), July 20-26, …
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 …