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,146円

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

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; 出版年月：2022年 00月
装丁：HRD 言語：ENG 版次：1st ed. 2022. 2022. xiv

税込価格：

15,324円

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