Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge - Guo-Qiang Zhang - Libros - Springer International Publishing AG - 9783031937750 - 30 de agosto de 2025
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 59,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

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  

Mere med samme udgiver