Formal Methods For The Analysis Of Biomedical Ontologies
idioma: inglês
Editor:
Springer International Publishing AG, agosto de 2025 ‧
ver detalhes do produto
SINOPSE
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031937750 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | agosto de 2025 |
| Idioma: | Inglês |
| Dimensões: | 168 x 240 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 256 |
| Tipo de produto: | Livro |
| Coleção: | Synthesis Lectures On Data, Semantics, And Knowledge |
| Classificação Temática: |
Livros em Inglês
>
Medicina
>
Medicina Geral
|
| EAN: | 9783031937750 |
LIVROS DA MESMA COLEÇÃO
-
10%Demystifying Owl For The EnterpriseSpringer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
10%Validating Rdf DataSpringer International Publishing AG74,34€ 10% CARTÃOportes grátis