A stochastic extension of the logic PDL:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Neubiberg
Univ. of the Federal Armed Forces, Dep. of Computer Science
2004
|
| Schriftenreihe: | [Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science
2004,5 |
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 46 |
| Beschreibung: | 47 S. 30 cm |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021366629 | ||
| 003 | DE-604 | ||
| 005 | 20190618 | ||
| 007 | t | ||
| 008 | 060213s2004 |||| 00||| eng d | ||
| 015 | |a 06,B03,0409 |2 dnb | ||
| 035 | |a (OCoLC)162295226 | ||
| 035 | |a (DE-599)BVBBV021366629 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-706 | ||
| 082 | 0 | |a 511.35 |2 22/ger | |
| 100 | 1 | |a Kuntz, Matthias |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A stochastic extension of the logic PDL |c Matthias Kuntz ; Markus Siegle. University of the Federal Armed Forces Munich, Departement of Computer Science |
| 264 | 1 | |a Neubiberg |b Univ. of the Federal Armed Forces, Dep. of Computer Science |c 2004 | |
| 300 | |a 47 S. |c 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a [Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science |v 2004,5 | |
| 500 | |a Literaturverz. S. 46 | ||
| 650 | 0 | 7 | |a Stochastisches System |0 (DE-588)4057635-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dynamische Logik |0 (DE-588)4637784-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 1 | |a Stochastisches System |0 (DE-588)4057635-8 |D s |
| 689 | 0 | 2 | |a Dynamische Logik |0 (DE-588)4637784-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Siegle, Markus |d 1964- |e Verfasser |0 (DE-588)172896932 |4 aut | |
| 810 | 2 | |a Deutschland |p Bundeswehr / Universität <München> / Fakultät für Informatik |t Bericht |v 2004,5 |w (DE-604)BV006642330 |9 2004,5 | |
Datensatz im Suchindex
| _version_ | 1805073752627609600 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Kuntz, Matthias Siegle, Markus 1964- |
| author_GND | (DE-588)172896932 |
| author_facet | Kuntz, Matthias Siegle, Markus 1964- |
| author_role | aut aut |
| author_sort | Kuntz, Matthias |
| author_variant | m k mk m s ms |
| building | Verbundindex |
| bvnumber | BV021366629 |
| ctrlnum | (OCoLC)162295226 (DE-599)BVBBV021366629 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV021366629</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190618</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060213s2004 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,B03,0409</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162295226</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021366629</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kuntz, Matthias</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A stochastic extension of the logic PDL</subfield><subfield code="c">Matthias Kuntz ; Markus Siegle. University of the Federal Armed Forces Munich, Departement of Computer Science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Neubiberg</subfield><subfield code="b">Univ. of the Federal Armed Forces, Dep. of Computer Science</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">47 S.</subfield><subfield code="c">30 cm</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="1" ind2=" "><subfield code="a">[Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science</subfield><subfield code="v">2004,5</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 46</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Siegle, Markus</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172896932</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Deutschland</subfield><subfield code="p">Bundeswehr / Universität <München> / Fakultät für Informatik</subfield><subfield code="t">Bericht</subfield><subfield code="v">2004,5</subfield><subfield code="w">(DE-604)BV006642330</subfield><subfield code="9">2004,5</subfield></datafield></record></collection> |
| id | DE-604.BV021366629 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T14:02:07Z |
| indexdate | 2024-07-20T05:14:37Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014652998 |
| oclc_num | 162295226 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-706 |
| physical | 47 S. 30 cm |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Univ. of the Federal Armed Forces, Dep. of Computer Science |
| record_format | marc |
| series2 | [Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science |
| spelling | Kuntz, Matthias Verfasser aut A stochastic extension of the logic PDL Matthias Kuntz ; Markus Siegle. University of the Federal Armed Forces Munich, Departement of Computer Science Neubiberg Univ. of the Federal Armed Forces, Dep. of Computer Science 2004 47 S. 30 cm txt rdacontent n rdamedia nc rdacarrier [Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science 2004,5 Literaturverz. S. 46 Stochastisches System (DE-588)4057635-8 gnd rswk-swf Dynamische Logik (DE-588)4637784-0 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 s Stochastisches System (DE-588)4057635-8 s Dynamische Logik (DE-588)4637784-0 s DE-604 Siegle, Markus 1964- Verfasser (DE-588)172896932 aut Deutschland Bundeswehr / Universität <München> / Fakultät für Informatik Bericht 2004,5 (DE-604)BV006642330 2004,5 |
| spellingShingle | Kuntz, Matthias Siegle, Markus 1964- A stochastic extension of the logic PDL Stochastisches System (DE-588)4057635-8 gnd Dynamische Logik (DE-588)4637784-0 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4057635-8 (DE-588)4637784-0 (DE-588)4046974-8 |
| title | A stochastic extension of the logic PDL |
| title_auth | A stochastic extension of the logic PDL |
| title_exact_search | A stochastic extension of the logic PDL |
| title_exact_search_txtP | A stochastic extension of the logic PDL |
| title_full | A stochastic extension of the logic PDL Matthias Kuntz ; Markus Siegle. University of the Federal Armed Forces Munich, Departement of Computer Science |
| title_fullStr | A stochastic extension of the logic PDL Matthias Kuntz ; Markus Siegle. University of the Federal Armed Forces Munich, Departement of Computer Science |
| title_full_unstemmed | A stochastic extension of the logic PDL Matthias Kuntz ; Markus Siegle. University of the Federal Armed Forces Munich, Departement of Computer Science |
| title_short | A stochastic extension of the logic PDL |
| title_sort | a stochastic extension of the logic pdl |
| topic | Stochastisches System (DE-588)4057635-8 gnd Dynamische Logik (DE-588)4637784-0 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Stochastisches System Dynamische Logik Prädikatenlogik |
| volume_link | (DE-604)BV006642330 |
| work_keys_str_mv | AT kuntzmatthias astochasticextensionofthelogicpdl AT sieglemarkus astochasticextensionofthelogicpdl |