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
Mex$ 1.027
sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Guo-Qiang Zhang
Añadir a tu lista de deseos de iMusic

Aún no valorado

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  

Más del mismo editor