Formal Methods For The Analysis Of Biomedical Ontologies

de Guo-Qiang Zhang, Licong Cui e Rashmie Abeysinghe 

Bertrand.pt - Formal Methods For The Analysis Of Biomedical Ontologies
idioma: Inglês
Editor: Springer International Publishing AG
Edição: agosto de 2025
67,58€
60,82€
Notifiquem-me quando disponível

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.

Coleções

Formal Methods For The Analysis Of Biomedical Ontologies
ISBN:
9783031937750
Ano de edição:
08-2025
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
168 x 240 x 20 mm
Encadernação:
Capa dura
Páginas:
256
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9783031937750
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.