One hundred prisoners and a light bulb
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2015
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FRO01 TUM01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042730103 | ||
| 003 | DE-604 | ||
| 005 | 20200929 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319166940 |c Online |9 978-3-319-16694-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-16694-0 |2 doi | |
| 035 | |a (OCoLC)915900801 | ||
| 035 | |a (DE-599)BVBBV042730103 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-703 |a DE-20 |a DE-739 |a DE-634 |a DE-861 |a DE-83 | ||
| 082 | 0 | |a 510 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SN 300 |0 (DE-625)143331: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Ditmarsch, Hans van |d 1959- |e Verfasser |0 (DE-588)133419703 |4 aut | |
| 245 | 1 | 0 | |a One hundred prisoners and a light bulb |c Hans van Ditmarsch ; Barteld Kooi |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (IX, 188 S.) |b 24 illus | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Science (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Popular Science | |
| 650 | 4 | |a Popular Science in Mathematics | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Kooi, Barteld |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-16693-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-16694-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161134&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161134&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q UBY_PDA_SMA | |
| 940 | 1 | |q ZDB-2-SMA_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161134 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16694-0 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2121644 |
|---|---|
| DE-BY-TUM_local_url | https://doi.org/10.1007/978-3-319-16694-0 Verlag |
| _version_ | 1816714125299941376 |
| adam_text | ONE HUNDRED PRISONERS AND A LIGHT BULB
/ VAN DITMARSCH, HANS
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CONSECUTIVE NUMBERS
HANGMAN
MUDDY CHILDREN
MONTY HALL
RUSSIAN CARDS
WHO HAS THE SUM?- SUM AND PRODUCT
TWO ENVELOPES
ONE HUNDRED PRISONERS AND A LIGHT BULB
GOSSIP
CLUEDO
OVERVIEW DYNAMIC EPISTEMIC LOGIC
ANSWERS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
ONE HUNDRED PRISONERS AND A LIGHT BULB
/ VAN DITMARSCH, HANS
: 2015
ABSTRACT / INHALTSTEXT
A GROUP OF 100 PRISONERS, ALL TOGETHER IN THE PRISON DINING AREA, ARE
TOLD THAT THEY WILL BE ALL PUT IN ISOLATION CELLS AND THEN WILL BE
INTERROGATED ONE BY ONE IN A ROOM CONTAINING A LIGHT WITH AN ON/OFF
SWITCH. THE PRISONERS MAY COMMUNICATE WITH ONE ANOTHER BY TOGGLING THE
LIGHT SWITCH (AND THAT IS THE ONLY WAY IN WHICH THEY CAN COMMUNICATE).
THE LIGHT IS INITIALLY SWITCHED OFF. THERE IS NO FIXED ORDER OF
INTERROGATION, OR INTERVAL BETWEEN INTERROGATIONS, AND THE SAME PRISONER
MAY BE INTERROGATED AGAIN AT ANY STAGE. WHEN INTERROGATED, A PRISONER
CAN EITHER DO NOTHING, OR TOGGLE THE LIGHT SWITCH, OR ANNOUNCE THAT ALL
PRISONERS HAVE BEEN INTERROGATED. IF THAT ANNOUNCEMENT IS TRUE, THE
PRISONERS WILL (ALL) BE SET FREE, BUT IF IT IS FALSE, THEY WILL ALL BE
EXECUTED. WHILE STILL IN THE DINING ROOM, AND BEFORE THE PRISONERS GO TO
THEIR ISOLATION CELLS (FOREVER), CAN THE PRISONERS AGREE ON A PROTOCOL
THAT WILL SET THEM FREE? AT FIRST GLANCE, THIS RIDDLE MAY SEEM
IMPOSSIBLE TO SOLVE: HOW CAN ALL OF THE NECESSARY INFORMATION BE
TRANSMITTED BY THE PRISONERS USING ONLY A SINGLE LIGHT BULB? THERE IS
INDEED A SOLUTION, HOWEVER, AND IT CAN BE FOUND BY REASONING ABOUT
KNOWLEDGE. THIS BOOK PROVIDES A GUIDED TOUR THROUGH ELEVEN CLASSIC LOGIC
PUZZLES THAT ARE ENGAGING AND CHALLENGING AND OFTEN SURPRISING IN THEIR
SOLUTIONS. THESE RIDDLES REVOLVE AROUND THE CHARACTERS’ DECLARATIONS
OF KNOWLEDGE, IGNORANCE, AND THE APPEARANCE THAT THEY ARE CONTRADICTING
THEMSELVES IN SOME WAY. EACH CHAPTER FOCUSES ON ONE PUZZLE, WHICH THE
AUTHORS BREAK DOWN IN ORDER TO GUIDE THE READER TOWARD THE SOLUTION. FOR
GENERAL READERS AND STUDENTS WITH LITTLE TECHNICAL KNOWLEDGE OF
MATHEMATICS, ONE HUNDRED PRISONERS AND A LIGHT BULB WILL BE AN
ACCESSIBLE AND FUN INTRODUCTION TO EPISTEMIC LOGIC. ALTERNATIVELY, MORE
ADVANCED STUDENTS AND THEIR TEACHERS WILL FIND IT TO BE A VALUABLE
REFERENCE TEXT FOR INTRODUCTORY COURSE WORK AND FURTHER STUDY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Ditmarsch, Hans van 1959- Kooi, Barteld |
| author_GND | (DE-588)133419703 |
| author_facet | Ditmarsch, Hans van 1959- Kooi, Barteld |
| author_role | aut aut |
| author_sort | Ditmarsch, Hans van 1959- |
| author_variant | h v d hv hvd b k bk |
| building | Verbundindex |
| bvnumber | BV042730103 |
| classification_rvk | SK 130 SN 300 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)915900801 (DE-599)BVBBV042730103 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-319-16694-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03336nmm a2200697zc 4500</leader><controlfield tag="001">BV042730103</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200929 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319166940</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-16694-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-16694-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915900801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730103</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</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">SN 300</subfield><subfield code="0">(DE-625)143331:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ditmarsch, Hans van</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133419703</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">One hundred prisoners and a light bulb</subfield><subfield code="c">Hans van Ditmarsch ; Barteld Kooi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 188 S.)</subfield><subfield code="b">24 illus</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="650" ind1=" " ind2="4"><subfield code="a">Science (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Popular Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Popular Science in Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kooi, Barteld</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-16693-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-16694-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161134&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161134&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBY_PDA_SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161134</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16694-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-16694-0</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-16694-0</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-16694-0</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-16694-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-16694-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-16694-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042730103 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-25T17:51:13Z |
| institution | BVB |
| isbn | 9783319166940 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161134 |
| oclc_num | 915900801 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| physical | 1 Online-Ressource (IX, 188 S.) 24 illus |
| psigel | ZDB-2-SMA UBY_PDA_SMA ZDB-2-SMA_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | Ditmarsch, Hans van 1959- Kooi, Barteld One hundred prisoners and a light bulb Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Mathematische Logik (DE-588)4037951-6 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4017848-1 (DE-588)4151278-9 |
| title | One hundred prisoners and a light bulb |
| title_auth | One hundred prisoners and a light bulb |
| title_exact_search | One hundred prisoners and a light bulb |
| title_full | One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi |
| title_fullStr | One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi |
| title_full_unstemmed | One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi |
| title_short | One hundred prisoners and a light bulb |
| title_sort | one hundred prisoners and a light bulb |
| topic | Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Mathematische Logik (DE-588)4037951-6 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Mathematische Logik Formale Sprache Einführung |
| url | https://doi.org/10.1007/978-3-319-16694-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161134&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161134&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ditmarschhansvan onehundredprisonersandalightbulb AT kooibarteld onehundredprisonersandalightbulb |