Generating Plans from Proofs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2016
Cham Springer |
| Ausgabe: | 1st ed. 2016 |
| Schriftenreihe: | Synthesis Lectures on Data Management
|
| Schlagworte: | |
| Online-Zugang: | FHI01 Volltext |
| Beschreibung: | 1 Online-Ressource (1 Online-Ressource (XIX, 185 Seiten)) |
| ISBN: | 9783031018565 |
| ISSN: | 2153-5426 |
| DOI: | 10.1007/978-3-031-01856-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048594850 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 221206s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783031018565 |c Online |9 978-3-031-01856-5 | ||
| 024 | 7 | |a 10.1007/978-3-031-01856-5 |2 doi | |
| 035 | |a (ZDB-2-SXSC)9783031018565 | ||
| 035 | |a (OCoLC)1354310183 | ||
| 035 | |a (DE-599)BVBBV048594850 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 | ||
| 082 | 0 | |a 004.6 |2 23 | |
| 100 | 1 | |a Benedikt, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Generating Plans from Proofs |c by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura |
| 250 | |a 1st ed. 2016 | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2016 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (1 Online-Ressource (XIX, 185 Seiten)) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Synthesis Lectures on Data Management |x 2153-5426 | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Information theory | |
| 700 | 1 | |a Leblay, Julien |e Sonstige |4 oth | |
| 700 | 1 | |a Cate, Balder ten |e Sonstige |4 oth | |
| 700 | 1 | |a Tsamoura, Efthymia |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-00728-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-02984-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-01856-5 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SXSC | ||
| 940 | 1 | |q ZDB-2-SXSC_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033970486 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-031-01856-5 |l FHI01 |p ZDB-2-SXSC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804184635639332864 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Benedikt, Michael |
| author_facet | Benedikt, Michael |
| author_role | aut |
| author_sort | Benedikt, Michael |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV048594850 |
| collection | ZDB-2-SXSC |
| ctrlnum | (ZDB-2-SXSC)9783031018565 (OCoLC)1354310183 (DE-599)BVBBV048594850 |
| dewey-full | 004.6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 |
| dewey-search | 004.6 |
| dewey-sort | 14.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-031-01856-5 |
| edition | 1st ed. 2016 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01839nmm a2200493zcb4500</leader><controlfield tag="001">BV048594850</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">221206s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031018565</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-01856-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-01856-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SXSC)9783031018565</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1354310183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048594850</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-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benedikt, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generating Plans from Proofs</subfield><subfield code="c">by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2016</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2016</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 (1 Online-Ressource (XIX, 185 Seiten))</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">Synthesis Lectures on Data Management</subfield><subfield code="x">2153-5426</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leblay, Julien</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cate, Balder ten</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tsamoura, Efthymia</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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-031-00728-6</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-031-02984-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-01856-5</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-SXSC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SXSC_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033970486</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-01856-5</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SXSC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048594850 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:08:29Z |
| indexdate | 2024-07-10T09:42:29Z |
| institution | BVB |
| isbn | 9783031018565 |
| issn | 2153-5426 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033970486 |
| oclc_num | 1354310183 |
| open_access_boolean | |
| owner | DE-573 |
| owner_facet | DE-573 |
| physical | 1 Online-Ressource (1 Online-Ressource (XIX, 185 Seiten)) |
| psigel | ZDB-2-SXSC ZDB-2-SXSC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer International Publishing Springer |
| record_format | marc |
| series2 | Synthesis Lectures on Data Management |
| spelling | Benedikt, Michael Verfasser aut Generating Plans from Proofs by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura 1st ed. 2016 Cham Springer International Publishing 2016 Cham Springer 1 Online-Ressource (1 Online-Ressource (XIX, 185 Seiten)) txt rdacontent c rdamedia cr rdacarrier Synthesis Lectures on Data Management 2153-5426 Computer Communication Networks Data Structures and Information Theory Computer networks Data structures (Computer science) Information theory Leblay, Julien Sonstige oth Cate, Balder ten Sonstige oth Tsamoura, Efthymia Sonstige oth Erscheint auch als Druck-Ausgabe 978-3-031-00728-6 Erscheint auch als Druck-Ausgabe 978-3-031-02984-4 https://doi.org/10.1007/978-3-031-01856-5 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Benedikt, Michael Generating Plans from Proofs Computer Communication Networks Data Structures and Information Theory Computer networks Data structures (Computer science) Information theory |
| title | Generating Plans from Proofs |
| title_auth | Generating Plans from Proofs |
| title_exact_search | Generating Plans from Proofs |
| title_exact_search_txtP | Generating Plans from Proofs |
| title_full | Generating Plans from Proofs by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura |
| title_fullStr | Generating Plans from Proofs by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura |
| title_full_unstemmed | Generating Plans from Proofs by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura |
| title_short | Generating Plans from Proofs |
| title_sort | generating plans from proofs |
| topic | Computer Communication Networks Data Structures and Information Theory Computer networks Data structures (Computer science) Information theory |
| topic_facet | Computer Communication Networks Data Structures and Information Theory Computer networks Data structures (Computer science) Information theory |
| url | https://doi.org/10.1007/978-3-031-01856-5 |
| work_keys_str_mv | AT benediktmichael generatingplansfromproofs AT leblayjulien generatingplansfromproofs AT catebalderten generatingplansfromproofs AT tsamouraefthymia generatingplansfromproofs |