Formalized probability theory and applications using theorem proving:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA
Information Science Reference, an imprint of IGI Global
[2015]
|
| Schriftenreihe: | Research essentials
|
| Online-Zugang: | DE-1050 DE-898 DE-1049 DE-83 DE-20 DE-706 Volltext |
| Beschreibung: | 1 Online-Ressource (xii, 298 Seiten) |
| ISBN: | 9781466683167 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044349591 | ||
| 003 | DE-604 | ||
| 005 | 20230412 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170614s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9781466683167 |9 978-1-4666-8316-7 | ||
| 024 | 7 | |a 10.4018/978-1-4666-8315-0 |2 doi | |
| 035 | |a (OCoLC)986503907 | ||
| 035 | |a (DE-599)BVBBV044349591 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-20 |a DE-898 |a DE-1049 |a DE-1050 |a DE-83 | ||
| 084 | |a SK 850 |0 (DE-625)143263: |2 rvk | ||
| 100 | 1 | |a Hasan, Osman |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formalized probability theory and applications using theorem proving |c Osman Hasan (National University of Sciences and Technology, Pakistan), Sofiène Tahar (Concordia University, Canada) |
| 264 | 1 | |a Hershey PA |b Information Science Reference, an imprint of IGI Global |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online-Ressource (xii, 298 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Research essentials | |
| 700 | 1 | |a Tahar, Sofiène |d 1966- |e Verfasser |0 (DE-588)172860997 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-4666-8315-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-4666-8315-5 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB |a ZDB-1-IGE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029752424 | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-8315-0 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-8315-0 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-8315-0 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0 |l DE-20 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1808138510549385216 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Hasan, Osman Tahar, Sofiène 1966- |
| author_GND | (DE-588)172860997 |
| author_facet | Hasan, Osman Tahar, Sofiène 1966- |
| author_role | aut aut |
| author_sort | Hasan, Osman |
| author_variant | o h oh s t st |
| building | Verbundindex |
| bvnumber | BV044349591 |
| classification_rvk | SK 850 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| ctrlnum | (OCoLC)986503907 (DE-599)BVBBV044349591 |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000 c 4500</leader><controlfield tag="001">BV044349591</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230412</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170614s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466683167</subfield><subfield code="9">978-1-4666-8316-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-4666-8315-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)986503907</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044349591</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-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 850</subfield><subfield code="0">(DE-625)143263:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hasan, Osman</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalized probability theory and applications using theorem proving</subfield><subfield code="c">Osman Hasan (National University of Sciences and Technology, Pakistan), Sofiène Tahar (Concordia University, Canada)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA</subfield><subfield code="b">Information Science Reference, an imprint of IGI Global</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 298 Seiten)</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">Research essentials</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tahar, Sofiène</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172860997</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-1-4666-8315-0</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">1-4666-8315-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0</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-98-IGB</subfield><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029752424</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-8315-0</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-8315-0</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-8315-0</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044349591 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-23T01:07:37Z |
| institution | BVB |
| isbn | 9781466683167 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029752424 |
| oclc_num | 986503907 |
| open_access_boolean | |
| owner | DE-706 DE-20 DE-898 DE-BY-UBR DE-1049 DE-1050 DE-83 |
| owner_facet | DE-706 DE-20 DE-898 DE-BY-UBR DE-1049 DE-1050 DE-83 |
| physical | 1 Online-Ressource (xii, 298 Seiten) |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Information Science Reference, an imprint of IGI Global |
| record_format | marc |
| series2 | Research essentials |
| spelling | Hasan, Osman Verfasser aut Formalized probability theory and applications using theorem proving Osman Hasan (National University of Sciences and Technology, Pakistan), Sofiène Tahar (Concordia University, Canada) Hershey PA Information Science Reference, an imprint of IGI Global [2015] © 2015 1 Online-Ressource (xii, 298 Seiten) txt rdacontent c rdamedia cr rdacarrier Research essentials Tahar, Sofiène 1966- Verfasser (DE-588)172860997 aut Erscheint auch als Druck-Ausgabe 978-1-4666-8315-0 Erscheint auch als Druck-Ausgabe 1-4666-8315-5 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Hasan, Osman Tahar, Sofiène 1966- Formalized probability theory and applications using theorem proving |
| title | Formalized probability theory and applications using theorem proving |
| title_auth | Formalized probability theory and applications using theorem proving |
| title_exact_search | Formalized probability theory and applications using theorem proving |
| title_full | Formalized probability theory and applications using theorem proving Osman Hasan (National University of Sciences and Technology, Pakistan), Sofiène Tahar (Concordia University, Canada) |
| title_fullStr | Formalized probability theory and applications using theorem proving Osman Hasan (National University of Sciences and Technology, Pakistan), Sofiène Tahar (Concordia University, Canada) |
| title_full_unstemmed | Formalized probability theory and applications using theorem proving Osman Hasan (National University of Sciences and Technology, Pakistan), Sofiène Tahar (Concordia University, Canada) |
| title_short | Formalized probability theory and applications using theorem proving |
| title_sort | formalized probability theory and applications using theorem proving |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0 |
| work_keys_str_mv | AT hasanosman formalizedprobabilitytheoryandapplicationsusingtheoremproving AT taharsofiene formalizedprobabilitytheoryandapplicationsusingtheoremproving |