Ewa Orłowska on Relational Methods in Logic and Computer Science:
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2018
Cham Springer |
| Schriftenreihe: | Outstanding Contributions to Logic
17 |
| Schlagworte: | |
| Online-Zugang: | UBT01 Volltext |
| Beschreibung: | 1 Online-Ressource (XVIII, 502 p. 143 illus., 7 illus. in color) |
| ISBN: | 9783319978796 |
| ISSN: | 2211-2758 |
| DOI: | 10.1007/978-3-319-97879-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045913188 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190606s2018 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319978796 |c Online |9 978-3-319-97879-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-97879-6 |2 doi | |
| 035 | |a (ZDB-2-REP)9783319978796 | ||
| 035 | |a (OCoLC)1104873397 | ||
| 035 | |a (DE-599)BVBBV045913188 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 |a DE-703 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 245 | 1 | 0 | |a Ewa Orłowska on Relational Methods in Logic and Computer Science |c edited by Joanna Golińska-Pilarek, Michał Zawidzki |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2018 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (XVIII, 502 p. 143 illus., 7 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Outstanding Contributions to Logic |v 17 |x 2211-2758 | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Applications in Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Golińska-Pilarek, Joanna |4 edt | |
| 700 | 1 | |a Zawidzki, Michał |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-97878-9 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-97880-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-97879-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-REP | ||
| 940 | 1 | |q ZDB-2-REP_2018_Fremddaten | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031295723 | ||
| 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-97879-6 |l UBT01 |p ZDB-2-REP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180086213050368 |
|---|---|
| any_adam_object | |
| author2 | Golińska-Pilarek, Joanna Zawidzki, Michał |
| author2_role | edt edt |
| author2_variant | j g p jgp m z mz |
| author_facet | Golińska-Pilarek, Joanna Zawidzki, Michał |
| building | Verbundindex |
| bvnumber | BV045913188 |
| classification_rvk | ST 125 |
| collection | ZDB-2-REP |
| ctrlnum | (ZDB-2-REP)9783319978796 (OCoLC)1104873397 (DE-599)BVBBV045913188 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Informatik Philosophie |
| doi_str_mv | 10.1007/978-3-319-97879-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02299nmm a2200589zcb4500</leader><controlfield tag="001">BV045913188</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190606s2018 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319978796</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-97879-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-97879-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-REP)9783319978796</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1104873397</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045913188</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-188</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ewa Orłowska on Relational Methods in Logic and Computer Science</subfield><subfield code="c">edited by Joanna Golińska-Pilarek, Michał Zawidzki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2018</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 502 p. 143 illus., 7 illus. in color)</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">Outstanding Contributions to Logic</subfield><subfield code="v">17</subfield><subfield code="x">2211-2758</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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 Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</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">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 design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Golińska-Pilarek, Joanna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zawidzki, Michał</subfield><subfield code="4">edt</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-3-319-97878-9</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-3-319-97880-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-97879-6</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-2-REP</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-REP_2018_Fremddaten</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031295723</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-97879-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-REP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV045913188 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:30:10Z |
| institution | BVB |
| isbn | 9783319978796 |
| issn | 2211-2758 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031295723 |
| oclc_num | 1104873397 |
| open_access_boolean | |
| owner | DE-188 DE-703 |
| owner_facet | DE-188 DE-703 |
| physical | 1 Online-Ressource (XVIII, 502 p. 143 illus., 7 illus. in color) |
| psigel | ZDB-2-REP ZDB-2-REP_2018_Fremddaten |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer International Publishing Springer |
| record_format | marc |
| series2 | Outstanding Contributions to Logic |
| spelling | Ewa Orłowska on Relational Methods in Logic and Computer Science edited by Joanna Golińska-Pilarek, Michał Zawidzki Cham Springer International Publishing 2018 Cham Springer 1 Online-Ressource (XVIII, 502 p. 143 illus., 7 illus. in color) txt rdacontent c rdamedia cr rdacarrier Outstanding Contributions to Logic 17 2211-2758 Logic Mathematical Logic and Formal Languages Mathematical Applications in Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations Computer science Logic design Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4016928-5 Festschrift gnd-content Logik (DE-588)4036202-4 s 2\p DE-604 Golińska-Pilarek, Joanna edt Zawidzki, Michał edt Erscheint auch als Druck-Ausgabe 978-3-319-97878-9 Erscheint auch als Druck-Ausgabe 978-3-319-97880-2 https://doi.org/10.1007/978-3-319-97879-6 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ewa Orłowska on Relational Methods in Logic and Computer Science Logic Mathematical Logic and Formal Languages Mathematical Applications in Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations Computer science Logic design Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4016928-5 |
| title | Ewa Orłowska on Relational Methods in Logic and Computer Science |
| title_auth | Ewa Orłowska on Relational Methods in Logic and Computer Science |
| title_exact_search | Ewa Orłowska on Relational Methods in Logic and Computer Science |
| title_full | Ewa Orłowska on Relational Methods in Logic and Computer Science edited by Joanna Golińska-Pilarek, Michał Zawidzki |
| title_fullStr | Ewa Orłowska on Relational Methods in Logic and Computer Science edited by Joanna Golińska-Pilarek, Michał Zawidzki |
| title_full_unstemmed | Ewa Orłowska on Relational Methods in Logic and Computer Science edited by Joanna Golińska-Pilarek, Michał Zawidzki |
| title_short | Ewa Orłowska on Relational Methods in Logic and Computer Science |
| title_sort | ewa orlowska on relational methods in logic and computer science |
| topic | Logic Mathematical Logic and Formal Languages Mathematical Applications in Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations Computer science Logic design Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic Mathematical Logic and Formal Languages Mathematical Applications in Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations Computer science Logic design Logic, Symbolic and mathematical Logik Festschrift |
| url | https://doi.org/10.1007/978-3-319-97879-6 |
| work_keys_str_mv | AT golinskapilarekjoanna ewaorłowskaonrelationalmethodsinlogicandcomputerscience AT zawidzkimichał ewaorłowskaonrelationalmethodsinlogicandcomputerscience |