Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge - Guo-Qiang Zhang - Books - Springer International Publishing AG - 9783031937750 - August 30, 2025
In case cover and title do not match, the title is correct

Guo-Qiang Zhang
Formal Methods for the Analysis of Biomedical Ontologies - Synthesis Lectures on Data, Semantics, and Knowledge Second Edition 2026 edition

Price
HK$ 458
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 5 - 11
Get notified about new Guo-Qiang Zhang releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 30, 2025
ISBN13 9783031937750
Publishers Springer International Publishing AG
Pages 256
Dimensions 150 × 220 × 20 mm   ·   689 g
Language German  

More from the same publisher

See all of Guo-Qiang Zhang ( e.g. Hardcover Book and Paperback Book )