Recomienda este artículo a tus amigos:
Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge Guo-Qiang Zhang Second Edition 2026 edition
Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge
Guo-Qiang Zhang
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de agosto de 2025 |
| ISBN13 | 9783031937750 |
| Editores | Springer International Publishing AG |
| Páginas | 256 |
| Dimensiones | 150 × 220 × 20 mm · 689 g |
| Lengua | Alemán |