{"product_id":"formal-methods-for-the-analysis-of-biomedical-ontologies-9783031937750","title":"Formal Methods for the Analysis of Biomedical Ontologies","description":"\u003cp\u003e • Author(s): Guo-Qiang Zhang | Rashmie Abeysinghe | Licong Cui\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Databases - General\u003c\/p\u003e\u003cp\u003eThis book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":47658041082007,"sku":"9783031937750","price":4404.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031937750.webp?v=1775816574","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-for-the-analysis-of-biomedical-ontologies-9783031937750","provider":"Atlantic Books","version":"1.0","type":"link"}