Artificial intelligence and symbolic mathematical computing: International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Lecture notes in computer science
737 |
| Schlagworte: | |
| Beschreibung: | 305 S. graph. Darst. |
| ISBN: | 3540573224 0387573224 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008214808 | ||
| 003 | DE-604 | ||
| 005 | 20140226 | ||
| 007 | t | ||
| 008 | 930906s1993 gw d||| |||| 10||| eng d | ||
| 020 | |a 3540573224 |9 3-540-57322-4 | ||
| 020 | |a 0387573224 |9 0-387-57322-4 | ||
| 035 | |a (OCoLC)28848983 | ||
| 035 | |a (DE-599)BVBBV008214808 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-29T |a DE-91G |a DE-19 |a DE-20 |a DE-83 |a DE-706 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a Q334.I5488 1992 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 082 | 0 | |a 006.3 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Artificial intelligence and symbolic mathematical computing |b International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings |c Jacques Calmet ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a 305 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 737 | |
| 650 | 4 | |a Intelligence artificielle - Congrès | |
| 650 | 7 | |a Intelligence artificielle - Congrès |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 7 | |a Logique, symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 7 | |a calcul formel |2 inriac | |
| 650 | 7 | |a file attente |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a interface intelligente |2 inriac | |
| 650 | 7 | |a mathématique symbolique |2 inriac | |
| 650 | 7 | |a modélisation base connaissance |2 inriac | |
| 650 | 7 | |a modélisation mathématique |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence -- Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |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 1992 |z Karlsruhe |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |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 | |5 DE-604 | |
| 689 | 2 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 2 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Calmet, Jacques |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference AISMC |n 1 |d 1992 |c Karlsruhe |j Sonstige |0 (DE-588)2132030-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 737 |w (DE-604)BV000000607 |9 737 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005422757 | ||
Datensatz im Suchindex
| _version_ | 1804122601852764160 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV008214808 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334.I5488 1992 |
| callnumber-search | Q334.I5488 1992 |
| callnumber-sort | Q 3334 I5488 41992 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)28848983 (DE-599)BVBBV008214808 |
| dewey-full | 006.3 006.320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 006.3 20 |
| dewey-search | 006.3 006.3 20 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02863nam a2200721 cb4500</leader><controlfield tag="001">BV008214808</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140226 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930906s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540573224</subfield><subfield code="9">3-540-57322-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387573224</subfield><subfield code="9">0-387-57322-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28848983</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008214808</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334.I5488 1992</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Artificial intelligence and symbolic mathematical computing</subfield><subfield code="b">International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings</subfield><subfield code="c">Jacques Calmet ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">305 S.</subfield><subfield code="b">graph. Darst.</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">737</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique, symbolique et mathématique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">file attente</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interface intelligente</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mathématique symbolique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation base connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</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">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">1992</subfield><subfield code="z">Karlsruhe</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-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">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="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><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="1"><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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Calmet, Jacques</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference AISMC</subfield><subfield code="n">1</subfield><subfield code="d">1992</subfield><subfield code="c">Karlsruhe</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2132030-5</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">737</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">737</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005422757</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Karlsruhe gnd-content |
| genre_facet | Konferenzschrift 1992 Karlsruhe |
| id | DE-604.BV008214808 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:16:28Z |
| institution | BVB |
| institution_GND | (DE-588)2132030-5 |
| isbn | 3540573224 0387573224 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005422757 |
| oclc_num | 28848983 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-706 DE-11 DE-188 |
| owner_facet | DE-739 DE-384 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-706 DE-11 DE-188 |
| physical | 305 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings Jacques Calmet ... (eds.) Berlin u.a. Springer 1993 305 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 737 Intelligence artificielle - Congrès Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt Logique symbolique et mathématique - Congrès Logique, symbolique et mathématique - Congrès ram Symbolische logica gtt calcul formel inriac file attente inriac intelligence artificielle inriac interface intelligente inriac mathématique symbolique inriac modélisation base connaissance inriac modélisation mathématique inriac Künstliche Intelligenz Artificial intelligence -- Congresses Logic, Symbolic and mathematical -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Karlsruhe gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Mathematik (DE-588)4037944-9 s DE-604 Computeralgebra (DE-588)4010449-7 s Calmet, Jacques Sonstige oth International Conference AISMC 1 1992 Karlsruhe Sonstige (DE-588)2132030-5 oth Lecture notes in computer science 737 (DE-604)BV000000607 737 |
| spellingShingle | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings Lecture notes in computer science Intelligence artificielle - Congrès Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt Logique symbolique et mathématique - Congrès Logique, symbolique et mathématique - Congrès ram Symbolische logica gtt calcul formel inriac file attente inriac intelligence artificielle inriac interface intelligente inriac mathématique symbolique inriac modélisation base connaissance inriac modélisation mathématique inriac Künstliche Intelligenz Artificial intelligence -- Congresses Logic, Symbolic and mathematical -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematik (DE-588)4037944-9 gnd Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4037944-9 (DE-588)4010449-7 (DE-588)1071861417 |
| title | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings |
| title_auth | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings |
| title_exact_search | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings |
| title_full | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings Jacques Calmet ... (eds.) |
| title_fullStr | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings Jacques Calmet ... (eds.) |
| title_full_unstemmed | Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings Jacques Calmet ... (eds.) |
| title_short | Artificial intelligence and symbolic mathematical computing |
| title_sort | artificial intelligence and symbolic mathematical computing international conference aismc 1 karlsruhe germany august 3 6 1992 proceedings |
| title_sub | International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings |
| topic | Intelligence artificielle - Congrès Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt Logique symbolique et mathématique - Congrès Logique, symbolique et mathématique - Congrès ram Symbolische logica gtt calcul formel inriac file attente inriac intelligence artificielle inriac interface intelligente inriac mathématique symbolique inriac modélisation base connaissance inriac modélisation mathématique inriac Künstliche Intelligenz Artificial intelligence -- Congresses Logic, Symbolic and mathematical -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematik (DE-588)4037944-9 gnd Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Intelligence artificielle - Congrès Kunstmatige intelligentie Logique symbolique et mathématique - Congrès Logique, symbolique et mathématique - Congrès Symbolische logica calcul formel file attente intelligence artificielle interface intelligente mathématique symbolique modélisation base connaissance modélisation mathématique Künstliche Intelligenz Artificial intelligence -- Congresses Logic, Symbolic and mathematical -- Congresses Mathematik Computeralgebra Konferenzschrift 1992 Karlsruhe |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT calmetjacques artificialintelligenceandsymbolicmathematicalcomputinginternationalconferenceaismc1karlsruhegermanyaugust361992proceedings AT internationalconferenceaismckarlsruhe artificialintelligenceandsymbolicmathematicalcomputinginternationalconferenceaismc1karlsruhegermanyaugust361992proceedings |