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:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6167 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XV, 469 S. graph. Darst. 24 cm |
| ISBN: | 9783642141270 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036568141 | ||
| 003 | DE-604 | ||
| 005 | 20120319 | ||
| 007 | t| | ||
| 008 | 100715s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N22 |2 dnb | ||
| 016 | 7 | |a 1002961890 |2 DE-101 | |
| 020 | |a 9783642141270 |c kart. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-14127-0 | ||
| 024 | 3 | |a 9783642141270 | |
| 028 | 5 | 2 | |a 80016651 |
| 035 | |a (OCoLC)658235785 | ||
| 035 | |a (DE-599)DNB1002961890 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-355 |a DE-11 | ||
| 082 | 0 | |a 511.028563 |2 22/ger | |
| 084 | |a ST 302 |0 (DE-625)143652: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a DAT 702f |2 stub | ||
| 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 ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XV, 469 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6167 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 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 Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Birmingham |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Paris |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | 1 | |a Wissensmanagement |0 (DE-588)4561842-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Autexier, Serge |e Sonstige |4 oth | |
| 711 | 2 | |a AISC |n 10 |d 2010 |c Paris |j Sonstige |0 (DE-588)16073070-3 |4 oth | |
| 711 | 2 | |a Calculemus |n 17 |d 2010 |c Paris |j Sonstige |0 (DE-588)16073970-6 |4 oth | |
| 711 | 2 | |a MKM |n 9 |d 2010 |c Paris |j Sonstige |0 (DE-588)16073971-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6167 |w (DE-604)BV000000607 |9 6167 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3484455&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020489313 | |
Record in the Search Index
| _version_ | 1820875242753490944 |
|---|---|
| adam_text |
TABLE OF CONTENTS CONTRIBUTIONS TO AISC 2010 THE CHALLENGES OF
MULTIVALUED "FUNCTIONS" (KEYNOTE TALK) 1 JAMES H. DAVENPORT THE DYNAMIC
DICTIONARY OF MATHEMATICAL FUNCTIONS (KEYNOTE TALK) . 13 BRUNO SALVY A
REVISITED PERSPECTIVE ON SYMBOLIC MATHEMATICAL COMPUTING AND ARTIFICIAL
INTELLIGENCE (KEYNOTE TALK) 14 JACQUES CALMET AND JOHN A. CAMPBELL
/-TERMS IN ORDERED RESOLUTION AND SUPERPOSITION CALCULI: RETRIEVING LOST
COMPLETENESS 19 HICHAM BENSAID, RICARDO CAFERRA, AND NICOLAS PELTIER
STRUCTURED FORMAL DEVELOPMENT WITH QUOTIENT TYPES IN ISABELLE/HOL 34
MAKSYM BORTIN AND CHRISTOPH LUETH INSTANTIATION OF SMT PROBLEMS MODULO
INTEGERS 49 MNACHO ECHENIM AND NICOLAS PELTIER ON KRAWTCHOUK TRANSFORMS
64 PHILIP FEINSILVER AND RENE SCHOTT A MATHEMATICAL MODEL OF THE
COMPETITION BETWEEN ACQUIRED IMMUNITY AND VIRUS 76 MIKHAIL K. KOLEV SOME
NOTES UPON "WHEN DOES T EQUAL SAT(T)?" 89 YONGBIN LI HOW TO
CORRECTLY PRUNE TROPICAL TREES 101 JEAN- VINCENT LODDO AND LUCA SAIU
FROM MATRIX INTERPRETATIONS OVER THE RATIONALS TO MATRIX INTERPRETATIONS
OVER THE NATURALS 116 SALVADOR LUCAS AUTOMATED REASONING AND
PRESENTATION SUPPORT FOR FORMALIZING MATHEMATIC BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/1002961890 DIGITALISIERT DURCH XIV TABLE
OF CONTENTS CONTRIBUTIONS TO CALCULEMUS 2010 SOME CONSIDERATIONS ON THE
USABILITY OF INTERACTIVE PROVERS (INVITED TALK) 147 ANDREA ASPERTI AND
CLAUDIO SACERDOTI COEN MECHANIZED MATHEMATICS (INVITED TALK) 157 JACQUES
CARETTE FORMAL PROOF OF SCHUR CONJUGATE FUNCTION 158 FRANCK BUTELLE,
FLORENT HIVERT, MICAELA MAYERO, AND FREDERIC TOUMAZET SYMBOLIC DOMAIN
DECOMPOSITION 172 JACQUES CARETTE, ALAN P. SEXTON, VOLKER SORGE, AND
STEPHEN M. WATT A FORMAL QUANTIFIER ELIMINATION FOR ALGEBRAICALLY CLOSED
FIELDS 189 CYRIL COHEN AND ASSIA MAHBOUBI COMPUTING IN COQ WITH INFINITE
ALGEBRAIC DATA STRUCTURES 204 CESAR DOMINGUEZ AND JULIO RUBIO FORMALLY
VERIFIED CONDITIONS FOR REGULARITY OF INTERVAL MATRICES 219 IOANA PASCA
REDUCING EXPRESSION SIZE USING RULE-BASED INTEGRATION 234 DAVID J.
JEFFREY AND ALBERT D. RICH A UNIFIED FORMAL DESCRIPTION OF ARITHMETIC
AND SET THEORETICAL DATA TYPES 247 PAUL TARAU CONTRIBUTIONS TO MKM 2010
AGAINST RIGOR (INVITED TALK) 262 DORON ZEILBERGER SMART MATCHING 263
ANDREA ASPERTI AND ENRICO TASSI ELECTRONIC GEOMETRY TEXTBOOK: A
GEOMETRIC TEXTBOOK KNOWLEDGE MANAGEMENT SYSTEM 278 XIAOYU CHEN A TABLE
OF CONTENTS XV ADAPTING MATHEMATICAL DOMAIN REASONERS 315 BASTIAAN
HEEREN AND JOHAN JEURING INTEGRATING MULTIPLE SOURCES TO ANSWER
QUESTIONS IN ALGEBRAIC TOPOLOGY 331 JONATHAN HERAS, VICO PASCUAL, ANA
ROMERO, AND JULIO RUBIO ,? AN INTEGRATED DEVELOPMENT ENVIRONMENT FOR
COLLECTIONS 336 CONSTANTIN JUCOVSCHI AND MICHAEL KOHLHASE PROOFS,
PROOFS, PROOFS, AND PROOFS 345 MANFRED KERBER DIMENSIONS OF FORMALITY: A
CASE STUDY FOR MKM IN SOFTWARE ENGINEERING 355 ANDREA KOHLHASE, MICHAEL
KOHLHASE, AND CHRISTOPH LANGE TOWARDS MKM IN THE LARGE: MODULAR
REPRESENTATION AND SCALABLE SOFTWARE ARCHITECTURE 370 MICHAEL KOHLHASE,
FLORIAN RABE, AND VYACHESLAV ZHOLUDEV THE FORMULATOR MATHML EDITOR
PROJECT: USER-FRIENDLY AUTHORING OF CONTENT MARKUP DOCUMENTS 385 ANDRIY
KOVALCHUK, VYACHESLAV LEVITSKY, IGOR SAMOLYUK, AND VALENTYN YANCHUK
NOTATIONS AROUND THE WORLD: CENSUS AND EXPLOITATION 398 PAUL LIBBRECHT
EVIDENCE ALGORITHM AND SYSTEM FOR AUTOMATED DEDUCTION: A RETROSPECTIVE
VIEW 411 ALEXANDER LYALETSKI AND KONSTANTIN VERCHININE ON BUILDING A
KNOWLEDGE BASE FOR STABILITY THEORY 427 AGNIESZKA ROWINSKA-SCHWARZWELLER
AND CHRISTOPH SCHWARZWELLER PROVIOLA: A TOOL FOR PROOF RE-ANIMATION 440
GARST |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036568141 |
| classification_rvk | ST 302 |
| classification_tum | DAT 706f DAT 702f |
| ctrlnum | (OCoLC)658235785 (DE-599)DNB1002961890 |
| dewey-full | 511.028563 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.028563 |
| dewey-search | 511.028563 |
| dewey-sort | 3511.028563 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036568141</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120319</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100715s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002961890</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141270</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-14127-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642141270</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016651</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)658235785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002961890</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.028563</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 302</subfield><subfield code="0">(DE-625)143652:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</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 ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 469 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6167 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Birmingham</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="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="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2=" "><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="711" ind1="2" ind2=" "><subfield code="a">AISC</subfield><subfield code="n">10</subfield><subfield code="d">2010</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073070-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Calculemus</subfield><subfield code="n">17</subfield><subfield code="d">2010</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073970-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MKM</subfield><subfield code="n">9</subfield><subfield code="d">2010</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073971-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6167</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6167</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3484455&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020489313</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Birmingham gnd-content (DE-588)1071861417 Konferenzschrift 2010 Paris gnd-content |
| genre_facet | Konferenzschrift 2008 Birmingham Konferenzschrift 2010 Paris |
| id | DE-604.BV036568141 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:32Z |
| institution | BVB |
| institution_GND | (DE-588)16073070-3 (DE-588)16073970-6 (DE-588)16073971-8 |
| isbn | 9783642141270 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020489313 |
| oclc_num | 658235785 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-355 DE-BY-UBR DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-355 DE-BY-UBR DE-11 |
| physical | XV, 469 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | 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 ... (ed.) Berlin [u.a.] Springer 2010 XV, 469 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6167 : Lecture notes in artificial intelligence Literaturangaben Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Wissensmanagement (DE-588)4561842-2 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Birmingham gnd-content (DE-588)1071861417 Konferenzschrift 2010 Paris gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Computeralgebra (DE-588)4010449-7 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Mathematik (DE-588)4037944-9 s Wissensmanagement (DE-588)4561842-2 s Autexier, Serge Sonstige oth AISC 10 2010 Paris Sonstige (DE-588)16073070-3 oth Calculemus 17 2010 Paris Sonstige (DE-588)16073970-6 oth MKM 9 2010 Paris Sonstige (DE-588)16073971-8 oth Lecture notes in computer science 6167 (DE-604)BV000000607 6167 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3484455&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| 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 Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4561842-2 (DE-588)4069034-9 (DE-588)4037944-9 (DE-588)4010449-7 (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_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 ... (ed.) |
| 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 ... (ed.) |
| 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 ... (ed.) |
| 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 | Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Künstliche Intelligenz Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift 2008 Birmingham Konferenzschrift 2010 Paris |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3484455&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT autexierserge intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT aiscparis intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT calculemusparis intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT mkmparis intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings |