Back to results
Cover image for book Formal Methods for the Analysis of Biomedical Ontologies

Formal Methods for the Analysis of Biomedical Ontologies

By:Guo-Qiang Zhang; Rashmie Abeysinghe; Licong Cui
Publisher:Springer Nature
Print ISBN:9783031937750
eText ISBN:9783031937767
Edition:2
Format:Reflowable

eBook Features

Instant Access

Purchase and read your book immediately

Read Offline

Access your eTextbook anytime and anywhere

Study Tools

Built-in study tools like highlights and more

Read Aloud

Listen and follow along as Bookshelf reads to you