Quantum computation and logic: how quantum computers have inspired logical investigations
Gespeichert in:
Hauptverfasser: | , , , |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cham
Springer
[2018]
|
Schriftenreihe: | Trends in Logic, Studia Logica Library
48 |
Schlagworte: | |
Online-Zugang: | BTU01 FHR01 FRO01 FWS01 FWS02 HTW01 TUM01 UBM01 UBT01 UBW01 UEI01 UER01 UPA01 Volltext |
Beschreibung: | 1 Online-Ressource (XVI, 178 Seiten, 18 illus., 3 illus. in color) |
ISBN: | 9783030044718 |
ISSN: | 1572-6126 |
DOI: | 10.1007/978-3-030-04471-8 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV045388823 | ||
003 | DE-604 | ||
005 | 20220207 | ||
007 | cr|uuu---uuuuu | ||
008 | 190108s2018 |||| o||u| ||||||eng d | ||
020 | |a 9783030044718 |c Online |9 978-3-030-04471-8 | ||
024 | 7 | |a 10.1007/978-3-030-04471-8 |2 doi | |
035 | |a (ZDB-2-SMA)9783030044718 | ||
035 | |a (OCoLC)1081390580 | ||
035 | |a (DE-599)BVBBV045388823 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-29 |a DE-91 |a DE-19 |a DE-898 |a DE-861 |a DE-523 |a DE-703 |a DE-863 |a DE-20 |a DE-739 |a DE-634 |a DE-862 |a DE-824 | ||
082 | 0 | |a 160 |2 23 | |
084 | |a MAT 000 |2 stub | ||
100 | 1 | |a Dalla Chiara, Maria Luisa |d 1938- |e Verfasser |0 (DE-588)139437215 |4 aut | |
245 | 1 | 0 | |a Quantum computation and logic |b how quantum computers have inspired logical investigations |c Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli |
264 | 1 | |a Cham |b Springer |c [2018] | |
300 | |a 1 Online-Ressource (XVI, 178 Seiten, 18 illus., 3 illus. in color) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Trends in logic |v volume 48 |x 1572-6126 | |
650 | 4 | |a Logic | |
650 | 4 | |a Mathematical Logic and Foundations | |
650 | 4 | |a Quantum Computing | |
650 | 4 | |a Logic | |
650 | 4 | |a Logic, Symbolic and mathematical | |
700 | 1 | |a Giuntini, Roberto |e Verfasser |4 aut | |
700 | 1 | |a Leporini, Roberto |e Verfasser |4 aut | |
700 | 1 | |a Sergioli, Giuseppe |e Verfasser |4 aut | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-04470-1 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-04472-5 |
830 | 0 | |a Trends in Logic, Studia Logica Library |v 48 |w (DE-604)BV043326888 |9 48 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-04471-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
912 | |a ZDB-2-SMA | ||
940 | 1 | |q ZDB-2-SMA_2018 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-030775132 | ||
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l FWS01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l FWS02 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l HTW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l UER01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-030-04471-8 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext |
Datensatz im Suchindex
DE-BY-FWS_katkey | 711715 |
---|---|
_version_ | 1806186537230008320 |
any_adam_object | |
author | Dalla Chiara, Maria Luisa 1938- Giuntini, Roberto Leporini, Roberto Sergioli, Giuseppe |
author_GND | (DE-588)139437215 |
author_facet | Dalla Chiara, Maria Luisa 1938- Giuntini, Roberto Leporini, Roberto Sergioli, Giuseppe |
author_role | aut aut aut aut |
author_sort | Dalla Chiara, Maria Luisa 1938- |
author_variant | c m l d cml cmld r g rg r l rl g s gs |
building | Verbundindex |
bvnumber | BV045388823 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA |
ctrlnum | (ZDB-2-SMA)9783030044718 (OCoLC)1081390580 (DE-599)BVBBV045388823 |
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 | Mathematik Philosophie |
doi_str_mv | 10.1007/978-3-030-04471-8 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03146nmm a2200637zcb4500</leader><controlfield tag="001">BV045388823</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220207 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190108s2018 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030044718</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-04471-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-04471-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)9783030044718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1081390580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045388823</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-29</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-824</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">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalla Chiara, Maria Luisa</subfield><subfield code="d">1938-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139437215</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Quantum computation and logic</subfield><subfield code="b">how quantum computers have inspired logical investigations</subfield><subfield code="c">Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 178 Seiten, 18 illus., 3 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="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">volume 48</subfield><subfield code="x">1572-6126</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 Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Giuntini, Roberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leporini, Roberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sergioli, Giuseppe</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">Druck-Ausgabe</subfield><subfield code="z">978-3-030-04470-1</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-030-04472-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">48</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">48</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-04471-8</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-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2018</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030775132</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-04471-8</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-030-04471-8</subfield><subfield code="l">FHR01</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-030-04471-8</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-030-04471-8</subfield><subfield code="l">FWS01</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-030-04471-8</subfield><subfield code="l">FWS02</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-030-04471-8</subfield><subfield code="l">HTW01</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-030-04471-8</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-030-04471-8</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-030-04471-8</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-030-04471-8</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-030-04471-8</subfield><subfield code="l">UEI01</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-030-04471-8</subfield><subfield code="l">UER01</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-030-04471-8</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> |
id | DE-604.BV045388823 |
illustrated | Not Illustrated |
indexdate | 2024-08-01T14:01:50Z |
institution | BVB |
isbn | 9783030044718 |
issn | 1572-6126 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030775132 |
oclc_num | 1081390580 |
open_access_boolean | |
owner | DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-898 DE-BY-UBR DE-861 DE-523 DE-703 DE-863 DE-BY-FWS DE-20 DE-739 DE-634 DE-862 DE-BY-FWS DE-824 |
owner_facet | DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-898 DE-BY-UBR DE-861 DE-523 DE-703 DE-863 DE-BY-FWS DE-20 DE-739 DE-634 DE-862 DE-BY-FWS DE-824 |
physical | 1 Online-Ressource (XVI, 178 Seiten, 18 illus., 3 illus. in color) |
psigel | ZDB-2-SMA ZDB-2-SMA_2018 |
publishDate | 2018 |
publishDateSearch | 2018 |
publishDateSort | 2018 |
publisher | Springer |
record_format | marc |
series | Trends in Logic, Studia Logica Library |
series2 | Trends in logic |
spellingShingle | Dalla Chiara, Maria Luisa 1938- Giuntini, Roberto Leporini, Roberto Sergioli, Giuseppe Quantum computation and logic how quantum computers have inspired logical investigations Trends in Logic, Studia Logica Library Logic Mathematical Logic and Foundations Quantum Computing Logic, Symbolic and mathematical |
title | Quantum computation and logic how quantum computers have inspired logical investigations |
title_auth | Quantum computation and logic how quantum computers have inspired logical investigations |
title_exact_search | Quantum computation and logic how quantum computers have inspired logical investigations |
title_full | Quantum computation and logic how quantum computers have inspired logical investigations Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli |
title_fullStr | Quantum computation and logic how quantum computers have inspired logical investigations Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli |
title_full_unstemmed | Quantum computation and logic how quantum computers have inspired logical investigations Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli |
title_short | Quantum computation and logic |
title_sort | quantum computation and logic how quantum computers have inspired logical investigations |
title_sub | how quantum computers have inspired logical investigations |
topic | Logic Mathematical Logic and Foundations Quantum Computing Logic, Symbolic and mathematical |
topic_facet | Logic Mathematical Logic and Foundations Quantum Computing Logic, Symbolic and mathematical |
url | https://doi.org/10.1007/978-3-030-04471-8 |
volume_link | (DE-604)BV043326888 |
work_keys_str_mv | AT dallachiaramarialuisa quantumcomputationandlogichowquantumcomputershaveinspiredlogicalinvestigations AT giuntiniroberto quantumcomputationandlogichowquantumcomputershaveinspiredlogicalinvestigations AT leporiniroberto quantumcomputationandlogichowquantumcomputershaveinspiredlogicalinvestigations AT sergioligiuseppe quantumcomputationandlogichowquantumcomputershaveinspiredlogicalinvestigations |