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

Formal Methods for the Analysis of Biomedical Ontologies

Synthesis Lectures on Data, Semantics, and Knowledge

Zhang, Guo-Qiang Abeysinghe, Rashmie Cui, Licong

出版社：Springer 出版年月：2025年 08月
装丁：HRD 版次：2ND

税込価格：

13,479円

海外在庫あり 通常２～５週間で出荷

Formal Methods for the Analysis of Biomedical Ontologies

Synthesis Lectures on Data, Semantics, and Knowledge

Zhang, Guo-Qiang Abeysinghe, Rashmie Cui, Licong

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2022. 2023. xiv

税込価格：

14,705円

海外在庫あり 通常２～５週間で出荷