Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge - Guo-Qiang Zhang - Grāmatas - Springer International Publishing AG - 9783031937750 - 2025. gada 30. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge Second Edition 2026 edition

Cena
€ 57,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. sept. - . gada 6. okt.
Saņemiet paziņojumus par jauniem Guo-Qiang Zhang izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2025. gada 30. augusts
ISBN13 9783031937750
Izdevēji Springer International Publishing AG
Lapas 256
Izmēri 150 × 220 × 20 mm   ·   689 g
Valoda Vācu  

Vairāk no tā paša izdevēja