Formal Methods For The Analysis Of Biomedical Ontologies
language: english
Publisher:
Springer International Publishing AG, August of 2025 ‧
see product details
SYNOPSIS
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.
DETeBook com proteção para wookreaderILS
| 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
-
10%Demystifying Owl For The EnterpriseSpringer International Publishing AG60,82€ 10% CARDfree shipping
-
10%Validating Rdf DataSpringer International Publishing AG74,34€ 10% CARDfree shipping