Formal methods for the analysis of biomedical ontologies
Auteur :
Zhang, Guo-Qiang / Abeysinghe, Rashmie / Cui, Licong
Éditeur :
Springer International Publishing AG
ISBN :
9783031937750
Date de publication :
30 août 2025
Dimensions :
24,0 x 16,8 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.