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