Grundbegriffe für eine Logik über Ereignisse und Normen: ein semantischer Ansatz auf der Basis von Petrinetzen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1991
|
| Schlagworte: | |
| Beschreibung: | Bonn, Univ., Diss., 1991 |
| Beschreibung: | VII, 401 S. Ill., graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005294548 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 920617s1991 ad|| m||| 00||| gerod | ||
| 035 | |a (OCoLC)46024302 | ||
| 035 | |a (DE-599)BVBBV005294548 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 | ||
| 084 | |a SI 210 |0 (DE-625)143104: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 549d |2 stub | ||
| 084 | |a MAT 030d |2 stub | ||
| 084 | |a DAT 516d |2 stub | ||
| 100 | 1 | |a Linz, Reinhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Grundbegriffe für eine Logik über Ereignisse und Normen |b ein semantischer Ansatz auf der Basis von Petrinetzen |c vorgelegt von Reinhard Linz |
| 264 | 1 | |c 1991 | |
| 300 | |a VII, 401 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Bonn, Univ., Diss., 1991 | ||
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deontische Logik |0 (DE-588)4133538-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ereignis |0 (DE-588)4152718-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Deontische Logik |0 (DE-588)4133538-7 |D s |
| 689 | 0 | 1 | |a Ereignis |0 (DE-588)4152718-5 |D s |
| 689 | 0 | 2 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003305808 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804119497523593217 |
|---|---|
| any_adam_object | |
| author | Linz, Reinhard |
| author_facet | Linz, Reinhard |
| author_role | aut |
| author_sort | Linz, Reinhard |
| author_variant | r l rl |
| building | Verbundindex |
| bvnumber | BV005294548 |
| classification_rvk | SI 210 SK 130 |
| classification_tum | DAT 549d MAT 030d DAT 516d |
| ctrlnum | (OCoLC)46024302 (DE-599)BVBBV005294548 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01474nam a2200421 c 4500</leader><controlfield tag="001">BV005294548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920617s1991 ad|| m||| 00||| gerod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46024302</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005294548</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 210</subfield><subfield code="0">(DE-625)143104:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 549d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Linz, Reinhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundbegriffe für eine Logik über Ereignisse und Normen</subfield><subfield code="b">ein semantischer Ansatz auf der Basis von Petrinetzen</subfield><subfield code="c">vorgelegt von Reinhard Linz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 401 S.</subfield><subfield code="b">Ill., graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Bonn, Univ., Diss., 1991</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ereignis</subfield><subfield code="0">(DE-588)4152718-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Ereignis</subfield><subfield code="0">(DE-588)4152718-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003305808</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005294548 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:27:06Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003305808 |
| oclc_num | 46024302 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | VII, 401 S. Ill., graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| spelling | Linz, Reinhard Verfasser aut Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen vorgelegt von Reinhard Linz 1991 VII, 401 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bonn, Univ., Diss., 1991 Petri-Netz (DE-588)4045388-1 gnd rswk-swf Deontische Logik (DE-588)4133538-7 gnd rswk-swf Ereignis (DE-588)4152718-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Deontische Logik (DE-588)4133538-7 s Ereignis (DE-588)4152718-5 s Petri-Netz (DE-588)4045388-1 s 1\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Linz, Reinhard Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen Petri-Netz (DE-588)4045388-1 gnd Deontische Logik (DE-588)4133538-7 gnd Ereignis (DE-588)4152718-5 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4133538-7 (DE-588)4152718-5 (DE-588)4113937-9 |
| title | Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen |
| title_auth | Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen |
| title_exact_search | Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen |
| title_full | Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen vorgelegt von Reinhard Linz |
| title_fullStr | Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen vorgelegt von Reinhard Linz |
| title_full_unstemmed | Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen vorgelegt von Reinhard Linz |
| title_short | Grundbegriffe für eine Logik über Ereignisse und Normen |
| title_sort | grundbegriffe fur eine logik uber ereignisse und normen ein semantischer ansatz auf der basis von petrinetzen |
| title_sub | ein semantischer Ansatz auf der Basis von Petrinetzen |
| topic | Petri-Netz (DE-588)4045388-1 gnd Deontische Logik (DE-588)4133538-7 gnd Ereignis (DE-588)4152718-5 gnd |
| topic_facet | Petri-Netz Deontische Logik Ereignis Hochschulschrift |
| work_keys_str_mv | AT linzreinhard grundbegriffefureinelogikuberereignisseundnormeneinsemantischeransatzaufderbasisvonpetrinetzen |