Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2ND)

  • 予約

Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2ND)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 256 p.
  • 言語 ENG
  • 商品コード 9783031937750
  • DDC分類 610.2856332

Full Description

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.

最近チェックした商品