Formal Methods For The Analysis Of Biomedical Ontologies

by Guo-Qiang Zhang, Licong Cui e Rashmie Abeysinghe
language: english
Publisher: Springer International Publishing AG, August of 2025 ‧
67,58€
60,82€
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.

Formal Methods For The Analysis Of Biomedical Ontologies

by Guo-Qiang Zhang, Licong Cui e Rashmie Abeysinghe

Property Description
ISBN: 9783031937750
Publisher: Springer International Publishing AG
Release Date: August of 2025
Language: English
Dimensions: 168 x 240 x 20 mm
Cover: Hardcover
Pages: 256
Format: Book
Collection: Synthesis Lectures On Data, Semantics, And Knowledge
Categories: Books in English > Medicine > General Medicine
EAN: 9783031937750

BOOKS FROM THE SAME COLLECTION