Formal Methods for the Analysis of Biomedical Ontologies

By clibrary on Mon, 06/23/2025 - 19:47
Author

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Publisher

Synthesis Collection of Technology (R0)

Subject

Biomedical Ontologies

Year

2022

ISBN

9783031121319

URL
https://doi.org/10.1007/978-3-031-12131-9