In: Proceedings of the International Conference on Advances in Social Network Analysis and Mining (ASONAM 2009). International Conference on Advances …
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. …