生命医学オントロジーの形式手法（第２版）

Formal Methods for the Analysis of Biomedical Ontologies

Domain Theory, Logic and Computation

Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Formal Methods for the Analysis of Biomedical Ontologies

Advances in Knowledge Discovery and Data Mining

23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part II

Advances in Knowledge Discovery and Data Mining

23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III

Advances in Knowledge Discovery and Data Mining

23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part I