Formal Methods for the Analysis of Biomedical Ontologies:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2022
Cham Springer |
| Ausgabe: | 1st ed. 2022 |
| Schriftenreihe: | Synthesis Lectures on Data, Semantics, and Knowledge
|
| Schlagworte: | |
| Online-Zugang: | FHI01 Volltext |
| Beschreibung: | 1 Online-Ressource (XIV, 245 p. 119 illus., 52 illus. in color) |
| ISBN: | 9783031121319 |
| ISSN: | 2691-2031 |
| DOI: | 10.1007/978-3-031-12131-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048813663 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230214s2022 |||| o||u| ||||||eng d | ||
| 020 | |a 9783031121319 |c Online |9 978-3-031-12131-9 | ||
| 024 | 7 | |a 10.1007/978-3-031-12131-9 |2 doi | |
| 035 | |a (ZDB-2-SXSC)9783031121319 | ||
| 035 | |a (OCoLC)1371318290 | ||
| 035 | |a (DE-599)BVBBV048813663 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 | ||
| 082 | 0 | |a 005.72 |2 23 | |
| 100 | 1 | |a Zhang, Guo-Qiang |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal Methods for the Analysis of Biomedical Ontologies |c by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui |
| 250 | |a 1st ed. 2022 | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2022 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (XIV, 245 p. 119 illus., 52 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Synthesis Lectures on Data, Semantics, and Knowledge |x 2691-2031 | |
| 650 | 4 | |a Data Storage Representation | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 650 | 4 | |a Data Science | |
| 650 | 4 | |a Biomedical Research | |
| 650 | 4 | |a Ontology | |
| 650 | 4 | |a Information retrieval | |
| 650 | 4 | |a Computer architecture | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Artificial intelligence—Data processing | |
| 650 | 4 | |a Medicine—Research | |
| 650 | 4 | |a Biology—Research | |
| 650 | 4 | |a Ontology | |
| 700 | 1 | |a Abeysinghe, Rashmie |4 aut | |
| 700 | 1 | |a Cui, Licong |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-12130-2 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-12132-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-12133-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-12131-9 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SXSC | ||
| 940 | 1 | |q ZDB-2-SXSC_2022 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034079532 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-031-12131-9 |l FHI01 |p ZDB-2-SXSC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804184900255875072 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Zhang, Guo-Qiang Abeysinghe, Rashmie Cui, Licong |
| author_facet | Zhang, Guo-Qiang Abeysinghe, Rashmie Cui, Licong |
| author_role | aut aut aut |
| author_sort | Zhang, Guo-Qiang |
| author_variant | g q z gqz r a ra l c lc |
| building | Verbundindex |
| bvnumber | BV048813663 |
| collection | ZDB-2-SXSC |
| ctrlnum | (ZDB-2-SXSC)9783031121319 (OCoLC)1371318290 (DE-599)BVBBV048813663 |
| dewey-full | 005.72 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.72 |
| dewey-search | 005.72 |
| dewey-sort | 15.72 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-031-12131-9 |
| edition | 1st ed. 2022 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02147nmm a2200589zcb4500</leader><controlfield tag="001">BV048813663</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230214s2022 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031121319</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-12131-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-12131-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SXSC)9783031121319</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1371318290</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048813663</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.72</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhang, Guo-Qiang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Methods for the Analysis of Biomedical Ontologies</subfield><subfield code="c">by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 245 p. 119 illus., 52 illus. in color)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Synthesis Lectures on Data, Semantics, and Knowledge</subfield><subfield code="x">2691-2031</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Storage Representation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biomedical Research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ontology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information retrieval</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence—Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Medicine—Research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biology—Research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ontology</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abeysinghe, Rashmie</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cui, Licong</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-12130-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-12132-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-12133-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-12131-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SXSC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SXSC_2022</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034079532</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-12131-9</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SXSC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048813663 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:30:59Z |
| indexdate | 2024-07-10T09:46:41Z |
| institution | BVB |
| isbn | 9783031121319 |
| issn | 2691-2031 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034079532 |
| oclc_num | 1371318290 |
| open_access_boolean | |
| owner | DE-573 |
| owner_facet | DE-573 |
| physical | 1 Online-Ressource (XIV, 245 p. 119 illus., 52 illus. in color) |
| psigel | ZDB-2-SXSC ZDB-2-SXSC_2022 |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer International Publishing Springer |
| record_format | marc |
| series2 | Synthesis Lectures on Data, Semantics, and Knowledge |
| spelling | Zhang, Guo-Qiang Verfasser aut Formal Methods for the Analysis of Biomedical Ontologies by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui 1st ed. 2022 Cham Springer International Publishing 2022 Cham Springer 1 Online-Ressource (XIV, 245 p. 119 illus., 52 illus. in color) txt rdacontent c rdamedia cr rdacarrier Synthesis Lectures on Data, Semantics, and Knowledge 2691-2031 Data Storage Representation Data Structures and Information Theory Data Science Biomedical Research Ontology Information retrieval Computer architecture Data structures (Computer science) Information theory Artificial intelligence—Data processing Medicine—Research Biology—Research Abeysinghe, Rashmie aut Cui, Licong aut Erscheint auch als Druck-Ausgabe 978-3-031-12130-2 Erscheint auch als Druck-Ausgabe 978-3-031-12132-6 Erscheint auch als Druck-Ausgabe 978-3-031-12133-3 https://doi.org/10.1007/978-3-031-12131-9 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Zhang, Guo-Qiang Abeysinghe, Rashmie Cui, Licong Formal Methods for the Analysis of Biomedical Ontologies Data Storage Representation Data Structures and Information Theory Data Science Biomedical Research Ontology Information retrieval Computer architecture Data structures (Computer science) Information theory Artificial intelligence—Data processing Medicine—Research Biology—Research |
| title | Formal Methods for the Analysis of Biomedical Ontologies |
| title_auth | Formal Methods for the Analysis of Biomedical Ontologies |
| title_exact_search | Formal Methods for the Analysis of Biomedical Ontologies |
| title_exact_search_txtP | Formal Methods for the Analysis of Biomedical Ontologies |
| title_full | Formal Methods for the Analysis of Biomedical Ontologies by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui |
| title_fullStr | Formal Methods for the Analysis of Biomedical Ontologies by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui |
| title_full_unstemmed | Formal Methods for the Analysis of Biomedical Ontologies by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui |
| title_short | Formal Methods for the Analysis of Biomedical Ontologies |
| title_sort | formal methods for the analysis of biomedical ontologies |
| topic | Data Storage Representation Data Structures and Information Theory Data Science Biomedical Research Ontology Information retrieval Computer architecture Data structures (Computer science) Information theory Artificial intelligence—Data processing Medicine—Research Biology—Research |
| topic_facet | Data Storage Representation Data Structures and Information Theory Data Science Biomedical Research Ontology Information retrieval Computer architecture Data structures (Computer science) Information theory Artificial intelligence—Data processing Medicine—Research Biology—Research |
| url | https://doi.org/10.1007/978-3-031-12131-9 |
| work_keys_str_mv | AT zhangguoqiang formalmethodsfortheanalysisofbiomedicalontologies AT abeysingherashmie formalmethodsfortheanalysisofbiomedicalontologies AT cuilicong formalmethodsfortheanalysisofbiomedicalontologies |