Intelligent computer mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin
Springer
c2010
|
| Series: | Lecture notes in computer science
6167 Lecture notes in computer science LNCS sublibrary |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | International conference proceedings Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (xv, 469 p.) |
| ISBN: | 9783642141287 3642141285 9783642141270 3642141277 9781280387692 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041905175 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140612s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642141287 |9 978-3-642-14128-7 | ||
| 020 | |a 3642141285 |9 3-642-14128-5 | ||
| 020 | |a 9783642141270 |9 978-3-642-14127-0 | ||
| 020 | |a 3642141277 |9 3-642-14127-7 | ||
| 020 | |a 9781280387692 |c MyiLibrary |9 978-1-280-38769-2 | ||
| 035 | |a (OCoLC)664118713 | ||
| 035 | |a (DE-599)BVBBV041905175 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 512.0285 |2 22 | |
| 110 | 2 | |a AISC (Conference) < 2010, Paris, France> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Intelligent computer mathematics |b 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings |c Serge Autexier ... [et al.] (eds.) |
| 246 | 1 | 3 | |a AISC 2010 |
| 246 | 1 | 3 | |a Calculemus 2010 |
| 246 | 1 | 3 | |a MKM 2010 |
| 264 | 1 | |a Berlin |b Springer |c c2010 | |
| 300 | |a 1 Online-Ressource (xv, 469 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science |v 6167 | |
| 490 | 0 | |a Lecture notes in computer science | |
| 490 | 0 | |a LNCS sublibrary | |
| 500 | |a International conference proceedings | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra / Data processing / Congresses | |
| 650 | 4 | |a Mathematical analysis / Data processing / Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 650 | 4 | |a Knowledge management / Congresses | |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |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 Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensmanagement |0 (DE-588)4561842-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Wissensmanagement |0 (DE-588)4561842-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 2 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Autexier, Serge |e Sonstige |4 oth | |
| 710 | 2 | |a Calculemus 2010 <2010, Paris, France> |e Sonstige |4 oth | |
| 710 | 2 | |a MKM 2010 <2010, Paris, France> |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://lib.myilibrary.com?id=356561 |x Aggregator |3 Volltext |
| 912 | |a ZDB-26-MYL | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027348845 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152263261814784 |
|---|---|
| any_adam_object | |
| author_corporate | AISC (Conference) < 2010, Paris, France> |
| author_corporate_role | aut |
| author_facet | AISC (Conference) < 2010, Paris, France> |
| author_sort | AISC (Conference) < 2010, Paris, France> |
| building | Verbundindex |
| bvnumber | BV041905175 |
| collection | ZDB-26-MYL |
| ctrlnum | (OCoLC)664118713 (DE-599)BVBBV041905175 |
| dewey-full | 512.0285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512.0285 |
| dewey-search | 512.0285 |
| dewey-sort | 3512.0285 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03116nmm a2200733zcb4500</leader><controlfield tag="001">BV041905175</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140612s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141287</subfield><subfield code="9">978-3-642-14128-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642141285</subfield><subfield code="9">3-642-14128-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141270</subfield><subfield code="9">978-3-642-14127-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642141277</subfield><subfield code="9">3-642-14127-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280387692</subfield><subfield code="c">MyiLibrary</subfield><subfield code="9">978-1-280-38769-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)664118713</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041905175</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="082" ind1="0" ind2=" "><subfield code="a">512.0285</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">AISC (Conference) < 2010, Paris, France></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intelligent computer mathematics</subfield><subfield code="b">10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings</subfield><subfield code="c">Serge Autexier ... [et al.] (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">AISC 2010</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Calculemus 2010</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">MKM 2010</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">c2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 469 p.)</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">Lecture notes in computer science</subfield><subfield code="v">6167</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">LNCS sublibrary</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra / Data processing / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical analysis / Data processing / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge management / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\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="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Autexier, Serge</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Calculemus 2010 <2010, Paris, France></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">MKM 2010 <2010, Paris, France></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://lib.myilibrary.com?id=356561</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027348845</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="883" ind1="1" ind2=" "><subfield code="8">3\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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV041905175 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:07:56Z |
| institution | BVB |
| isbn | 9783642141287 3642141285 9783642141270 3642141277 9781280387692 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027348845 |
| oclc_num | 664118713 |
| open_access_boolean | |
| physical | 1 Online-Ressource (xv, 469 p.) |
| psigel | ZDB-26-MYL |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in computer science LNCS sublibrary |
| spelling | AISC (Conference) < 2010, Paris, France> Verfasser aut Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.) AISC 2010 Calculemus 2010 MKM 2010 Berlin Springer c2010 1 Online-Ressource (xv, 469 p.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6167 Lecture notes in computer science LNCS sublibrary International conference proceedings Includes bibliographical references and index Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra (DE-588)4010449-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Wissensmanagement (DE-588)4561842-2 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematik (DE-588)4037944-9 s Wissensmanagement (DE-588)4561842-2 s 1\p DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Computeralgebra (DE-588)4010449-7 s 2\p DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s 3\p DE-604 Autexier, Serge Sonstige oth Calculemus 2010 <2010, Paris, France> Sonstige oth MKM 2010 <2010, Paris, France> Sonstige oth http://lib.myilibrary.com?id=356561 Aggregator 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra (DE-588)4010449-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)4069034-9 (DE-588)4033447-8 (DE-588)4561842-2 (DE-588)4037944-9 (DE-588)1071861417 |
| title | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings |
| title_alt | AISC 2010 Calculemus 2010 MKM 2010 |
| title_auth | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings |
| title_exact_search | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings |
| title_full | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.) |
| title_fullStr | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.) |
| title_full_unstemmed | Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.) |
| title_short | Intelligent computer mathematics |
| title_sort | intelligent computer mathematics 10th international conference aisc 2010 17th symposium calculemus 2010 and 9th international conference mkm 2010 paris france july 5 10 2010 proceedings |
| title_sub | 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings |
| topic | Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra (DE-588)4010449-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra Automatisches Beweisverfahren Künstliche Intelligenz Wissensmanagement Mathematik Konferenzschrift |
| url | http://lib.myilibrary.com?id=356561 |
| work_keys_str_mv | AT aiscconference2010parisfrance intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT autexierserge intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT calculemus20102010parisfrance intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT mkm20102010parisfrance intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT aiscconference2010parisfrance aisc2010 AT autexierserge aisc2010 AT calculemus20102010parisfrance aisc2010 AT mkm20102010parisfrance aisc2010 AT aiscconference2010parisfrance calculemus2010 AT autexierserge calculemus2010 AT calculemus20102010parisfrance calculemus2010 AT mkm20102010parisfrance calculemus2010 AT aiscconference2010parisfrance mkm2010 AT autexierserge mkm2010 AT calculemus20102010parisfrance mkm2010 AT mkm20102010parisfrance mkm2010 |