Formal Methods For The Analysis Of Biomedical Ontologies

de Guo-Qiang Zhang, Licong Cui e Rashmie Abeysinghe
idioma: inglês
Editor: Springer International Publishing AG, agosto de 2025 ‧
67,58€
60,82€
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.

Formal Methods For The Analysis Of Biomedical Ontologies

de Guo-Qiang Zhang, Licong Cui e Rashmie Abeysinghe

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