Book Title: Formal Methods for the Analysis of Biomedical Ontologies
Authors: Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui
Series Title: Synthesis Lectures on Data, Semantics, and Knowledge
DOI: https://doi.org/10.1007/978-3-031-12131-9
Publisher: Springer Cham
eBook Packages: Synthesis Collection of Technology (R0), eBColl Synthesis Collection 11
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Hardcover ISBN: 978-3-031-12130-2Published: 09 November 2022
Softcover ISBN: 978-3-031-12133-3Due: 09 November 2023
eBook ISBN: 978-3-031-12131-9Published: 08 November 2022
Series ISSN: 2691-2023
Series E-ISSN: 2691-2031
Edition Number: 1
Number of Pages: XIV, 245
Number of Illustrations: 67 b/w illustrations, 52 illustrations in colour
