Formalized probability theory and applications using theorem proving:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Hershey, PA
Information Science Reference, an imprint of IGI Global
[2015]
|
| Schriftenreihe: | Research essentials
|
| Schlagwörter: | |
| Abstract: | "This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"-- |
| Umfang: | xii, 298 Seiten Illustrationen, Diagramme |
| ISBN: | 9781466683150 1466683155 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV046252380 | ||
| 003 | DE-604 | ||
| 005 | 20191205 | ||
| 007 | t| | ||
| 008 | 191113s2015 xx a||| b||| 00||| eng d | ||
| 020 | |a 9781466683150 |9 978-1-4666-8315-0 | ||
| 020 | |a 1466683155 |9 1-4666-8315-5 | ||
| 035 | |a (OCoLC)935815768 | ||
| 035 | |a (DE-599)BVBBV046252380 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-521 | ||
| 084 | |a SK 850 |0 (DE-625)143263: |2 rvk | ||
| 100 | 1 | |a Hasan, Osman |d 1975- |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 xii, 298 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Research essentials | |
| 520 | 3 | |a "This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"-- | |
| 653 | 0 | |a Computer systems / Evaluation | |
| 653 | 0 | |a Automatic theorem proving | |
| 653 | 0 | |a Stochastic analysis / Data processing | |
| 653 | 0 | |a Automatic theorem proving | |
| 653 | 0 | |a Computer systems / Evaluation | |
| 700 | 1 | |a Tahar, Sofiène |d 1966- |e Sonstige |0 (DE-588)172860997 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4666-8316-7 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031630565 | |
Datensatz im Suchindex
| _version_ | 1818986220837928960 |
|---|---|
| any_adam_object | |
| author | Hasan, Osman 1975- |
| author_GND | (DE-588)172860997 |
| author_facet | Hasan, Osman 1975- |
| author_role | aut |
| author_sort | Hasan, Osman 1975- |
| author_variant | o h oh |
| building | Verbundindex |
| bvnumber | BV046252380 |
| classification_rvk | SK 850 |
| ctrlnum | (OCoLC)935815768 (DE-599)BVBBV046252380 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01698nam a2200397 c 4500</leader><controlfield tag="001">BV046252380</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191205 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">191113s2015 xx a||| b||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466683150</subfield><subfield code="9">978-1-4666-8315-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1466683155</subfield><subfield code="9">1-4666-8315-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)935815768</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046252380</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-521</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="d">1975-</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">xii, 298 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Research essentials</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"--</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer systems / Evaluation</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Stochastic analysis / Data processing</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer systems / Evaluation</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tahar, Sofiène</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)172860997</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4666-8316-7</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031630565</subfield></datafield></record></collection> |
| id | DE-604.BV046252380 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T18:47:20Z |
| institution | BVB |
| isbn | 9781466683150 1466683155 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031630565 |
| oclc_num | 935815768 |
| open_access_boolean | |
| owner | DE-521 |
| owner_facet | DE-521 |
| physical | xii, 298 Seiten Illustrationen, Diagramme |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Information Science Reference, an imprint of IGI Global |
| record_format | marc |
| series2 | Research essentials |
| spelling | Hasan, Osman 1975- 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 xii, 298 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Research essentials "This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"-- Computer systems / Evaluation Automatic theorem proving Stochastic analysis / Data processing Tahar, Sofiène 1966- Sonstige (DE-588)172860997 oth Erscheint auch als Online-Ausgabe 978-1-4666-8316-7 |
| spellingShingle | Hasan, Osman 1975- 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 |
| work_keys_str_mv | AT hasanosman formalizedprobabilitytheoryandapplicationsusingtheoremproving AT taharsofiene formalizedprobabilitytheoryandapplicationsusingtheoremproving |