Licong Cui – författare

Visar alla böcker från författaren Licong Cui. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Formal Methods for the Analysis of Biomedical Ontologies

   Av Guo-Qiang Zhang, Rashmie Abeysinghe m. fl.

   Inbunden, 2022

   764 kr

   Lägg i varukorg

   The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for …

2. 

   Formal Methods for the Analysis of Biomedical Ontologies

   Av Licong Cui, Rashmie Abeysinghe m. fl.

   E-bok, 2022

   652 kr

   Lägg i varukorg

   The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for …

3. 

   Formal Methods for the Analysis of Biomedical Ontologies

   Av Guo-Qiang Zhang, Rashmie Abeysinghe m. fl.

   Häftad, 2023

   757 kr

   Lägg i varukorg

   The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for …

4. 

   Formal Methods for the Analysis of Biomedical Ontologies

   Av Guo-Qiang Zhang, Rashmie Abeysinghe m. fl.

   Inbunden, 2025

   624 kr

   Lägg i varukorg

   This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified biomedical knowledge in the most active …

5. 

   Formal Methods for the Analysis of Biomedical Ontologies

   Av Licong Cui, Rashmie Abeysinghe m. fl.

   E-bok, 2025

   797 kr

   Lägg i varukorg

   This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified biomedical knowledge in the most active …