Proof technology in mathematics research and teaching:
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2019]
|
| Schriftenreihe: | Mathematics education in the digital era
volume 14 |
| Schlagworte: | |
| Online-Zugang: | DE-19 DE-706 DE-739 URL des Erstveröffentlichers |
| Beschreibung: | 1 Online-Ressource (viii, 379 Seiten) Illustrationen, Diagramme |
| ISBN: | 9783030284831 |
| DOI: | 10.1007/978-3-030-28483-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046229337 | ||
| 003 | DE-604 | ||
| 005 | 20220502 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 191105s2019 |||| o||u| ||||||eng d | ||
| 020 | |a 9783030284831 |9 978-3-030-28483-1 | ||
| 024 | 7 | |a 10.1007/978-3-030-28483-1 |2 doi | |
| 035 | |a (ZDB-2-EDA)9783030284831 | ||
| 035 | |a (OCoLC)1197128686 | ||
| 035 | |a (DE-599)BVBBV046229337 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-739 |a DE-19 |a DE-11 | ||
| 082 | 0 | |a 370 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Proof technology in mathematics research and teaching |c Gila Hanna, David A. Reid, Michael de Villiers, editors |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a 1 Online-Ressource (viii, 379 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Mathematics education in the digital era |v volume 14 | |
| 650 | 4 | |a Mathematics Education | |
| 650 | 4 | |a Technology and Digital Education | |
| 650 | 4 | |a Structures and Proofs | |
| 650 | 4 | |a Critical Thinking | |
| 650 | 4 | |a Teaching and Teacher Education | |
| 650 | 4 | |a Mathematics—Study and teaching | |
| 650 | 4 | |a Educational technology | |
| 650 | 4 | |a Proof theory | |
| 650 | 4 | |a Critical Thinking | |
| 650 | 4 | |a Teaching | |
| 650 | 0 | 7 | |a Unterrichtstechnologie |0 (DE-588)4078641-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematikunterricht |0 (DE-588)4037949-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematikunterricht |0 (DE-588)4037949-8 |D s |
| 689 | 0 | 1 | |a Unterrichtstechnologie |0 (DE-588)4078641-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Hanna, Gila |d 1934- |0 (DE-588)172124794 |4 edt | |
| 700 | 1 | |a Reid, David A. |4 edt | |
| 700 | 1 | |a Villiers, Michael de |d 1956- |0 (DE-588)1075912776 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-28482-4 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-28484-8 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-28485-5 |
| 830 | 0 | |a Mathematics education in the digital era |v volume 14 |w (DE-604)BV045221164 |9 14 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-28483-1 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 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 | |
| 912 | |a ZDB-2-EDA |a ZDB-30-PQE | ||
| 940 | 1 | |q ZDB-2-EDA_2019 | |
| 966 | e | |u https://ebookcentral.proquest.com/lib/ub-lmu/detail.action?docID=5916649 |l DE-19 |p ZDB-30-PQE |q UBM_Einzelkauf20 |x Aggregator |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-28483-1 |l DE-706 |p ZDB-2-EDA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-28483-1 |l DE-739 |p ZDB-2-EDA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1805082990635646976 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Hanna, Gila 1934- Reid, David A. Villiers, Michael de 1956- |
| author2_role | edt edt edt |
| author2_variant | g h gh d a r da dar m d v md mdv |
| author_GND | (DE-588)172124794 (DE-588)1075912776 |
| author_facet | Hanna, Gila 1934- Reid, David A. Villiers, Michael de 1956- |
| building | Verbundindex |
| bvnumber | BV046229337 |
| classification_rvk | SK 130 |
| collection | ZDB-2-EDA ZDB-30-PQE |
| ctrlnum | (ZDB-2-EDA)9783030284831 (OCoLC)1197128686 (DE-599)BVBBV046229337 |
| dewey-full | 370 |
| dewey-hundreds | 300 - Social sciences |
| dewey-ones | 370 - Education |
| dewey-raw | 370 |
| dewey-search | 370 |
| dewey-sort | 3370 |
| dewey-tens | 370 - Education |
| discipline | Pädagogik Mathematik |
| doi_str_mv | 10.1007/978-3-030-28483-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000 cb4500</leader><controlfield tag="001">BV046229337</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220502</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">191105s2019 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030284831</subfield><subfield code="9">978-3-030-28483-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-28483-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-EDA)9783030284831</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1197128686</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046229337</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-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">370</subfield><subfield code="2">23</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="245" ind1="1" ind2="0"><subfield code="a">Proof technology in mathematics research and teaching</subfield><subfield code="c">Gila Hanna, David A. Reid, Michael de Villiers, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 379 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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">Mathematics education in the digital era</subfield><subfield code="v">volume 14</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Technology and Digital Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structures and Proofs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Critical Thinking</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Teaching and Teacher Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics—Study and teaching </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Educational technology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Critical Thinking</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Teaching</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unterrichtstechnologie</subfield><subfield code="0">(DE-588)4078641-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Unterrichtstechnologie</subfield><subfield code="0">(DE-588)4078641-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hanna, Gila</subfield><subfield code="d">1934-</subfield><subfield code="0">(DE-588)172124794</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reid, David A.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Villiers, Michael de</subfield><subfield code="d">1956-</subfield><subfield code="0">(DE-588)1075912776</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-030-28482-4</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-28484-8</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-28485-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics education in the digital era</subfield><subfield code="v">volume 14</subfield><subfield code="w">(DE-604)BV045221164</subfield><subfield code="9">14</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-28483-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-EDA</subfield><subfield code="a">ZDB-30-PQE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-EDA_2019</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/ub-lmu/detail.action?docID=5916649</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-30-PQE</subfield><subfield code="q">UBM_Einzelkauf20</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-28483-1</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-EDA</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-28483-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-EDA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046229337 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T07:41:26Z |
| institution | BVB |
| isbn | 9783030284831 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031607845 |
| oclc_num | 1197128686 |
| open_access_boolean | |
| owner | DE-706 DE-739 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-706 DE-739 DE-19 DE-BY-UBM DE-11 |
| physical | 1 Online-Ressource (viii, 379 Seiten) Illustrationen, Diagramme |
| psigel | ZDB-2-EDA ZDB-30-PQE ZDB-2-EDA_2019 ZDB-30-PQE UBM_Einzelkauf20 |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Mathematics education in the digital era |
| series2 | Mathematics education in the digital era |
| spelling | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors Cham, Switzerland Springer [2019] © 2019 1 Online-Ressource (viii, 379 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Mathematics education in the digital era volume 14 Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Unterrichtstechnologie (DE-588)4078641-9 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Mathematikunterricht (DE-588)4037949-8 gnd rswk-swf Mathematikunterricht (DE-588)4037949-8 s Unterrichtstechnologie (DE-588)4078641-9 s DE-604 Beweistheorie (DE-588)4145177-6 s 1\p DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s 2\p DE-604 Hanna, Gila 1934- (DE-588)172124794 edt Reid, David A. edt Villiers, Michael de 1956- (DE-588)1075912776 edt Erscheint auch als Druck-Ausgabe 978-3-030-28482-4 Erscheint auch als Druck-Ausgabe 978-3-030-28484-8 Erscheint auch als Druck-Ausgabe 978-3-030-28485-5 Mathematics education in the digital era volume 14 (DE-604)BV045221164 14 https://doi.org/10.1007/978-3-030-28483-1 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 | Proof technology in mathematics research and teaching Mathematics education in the digital era Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Unterrichtstechnologie (DE-588)4078641-9 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Beweistheorie (DE-588)4145177-6 gnd Mathematikunterricht (DE-588)4037949-8 gnd |
| subject_GND | (DE-588)4078641-9 (DE-588)4069034-9 (DE-588)4145177-6 (DE-588)4037949-8 |
| title | Proof technology in mathematics research and teaching |
| title_auth | Proof technology in mathematics research and teaching |
| title_exact_search | Proof technology in mathematics research and teaching |
| title_full | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors |
| title_fullStr | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors |
| title_full_unstemmed | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors |
| title_short | Proof technology in mathematics research and teaching |
| title_sort | proof technology in mathematics research and teaching |
| topic | Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Unterrichtstechnologie (DE-588)4078641-9 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Beweistheorie (DE-588)4145177-6 gnd Mathematikunterricht (DE-588)4037949-8 gnd |
| topic_facet | Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Unterrichtstechnologie Automatisches Beweisverfahren Beweistheorie Mathematikunterricht |
| url | https://doi.org/10.1007/978-3-030-28483-1 |
| volume_link | (DE-604)BV045221164 |
| work_keys_str_mv | AT hannagila prooftechnologyinmathematicsresearchandteaching AT reiddavida prooftechnologyinmathematicsresearchandteaching AT villiersmichaelde prooftechnologyinmathematicsresearchandteaching |