guo qiang zhang

Grid   List

  1. Domain Theory, Logic and Computation
    Domain Theory, Logic and Computation
    Guo-Qiang Zhang
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Domains and Processes
    Domains and Processes
    Klaus Keimel
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Domain theory is a rich interdisciplinary area at theintersection of logic, computer science, and mathematics. This volumecontains selected papers presented at the International Symposium onD...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods for the Analysis of Biomedical Ontologies
    Formal Methods for the Analysis of Biomedical Ontologies
    Guo-Qiang Zhang
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologie...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Domains and Processes
    Domains and Processes
    Klaus Keimel
    Springer Netherlands, Springer Netherlands
    Buch
    Bezug 11-15
    Domain theory is a rich interdisciplinary area at theintersection of logic, computer science, and mathematics. This volumecontains selected papers presented at the International Symposium onD...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Domains and Processes
    Domains and Processes
    Klaus Keimel
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15
    Domain theory is a rich interdisciplinary area at theintersection of logic, computer science, and mathematics. This volumecontains selected papers presented at the International Symposium onD...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for the Analysis of Biomedical Ontologies
    Formal Methods for the Analysis of Biomedical Ontologies
    Guo-Qiang Zhang
    Springer International Publishing, Springer Nature Switzerland
    Buch
    Bezug 11-15
    The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontolo...
    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Formal Methods for the Analysis of Biomedical Ontologies
    Formal Methods for the Analysis of Biomedical Ontologies
    Guo-Qiang Zhang
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontolo...
    50,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Formal Methods for the Analysis of Biomedical Ontologies
    Formal Methods for the Analysis of Biomedical Ontologies
    Guo-Qiang Zhang
    Springer, Berlin, Springer Nature Switzerland, Springer
    Buch
    Vorbestellbar
    This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.  The authors take a pragmatic approach focused on...
    70,11 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Domain Theory, Logic and Computation
    Domain Theory, Logic and Computation
    Guo-Qiang Zhang
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Print on Demand
    Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>