Formal Methods for the Analysis of Biomedical Ontologies

Inbunden, Engelska, 2025

Av Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

919 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

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

Produktinformation

  • Utgivningsdatum2025-08-30
  • Mått168 x 240 x 20 mm
  • Vikt690 g
  • FormatInbunden
  • SpråkEngelska
  • SerieSynthesis Lectures on Data, Semantics, and Knowledge
  • Antal sidor256
  • Upplaga2
  • FörlagSpringer International Publishing AG
  • ISBN9783031937750