Guo-Qiang Zhang

Formal Methods for the Analysis of Biomedical Ontologies

Domain Theory, Logic and Computation