Artificial intelligence, automated reasoning, and symbolic computation: joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2385 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 341 S. graph. Darst. |
| ISBN: | 3540438653 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014392873 | ||
| 003 | DE-604 | ||
| 005 | 20031217 | ||
| 007 | t| | ||
| 008 | 020618s2002 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 96451155X |2 DE-101 | |
| 020 | |a 3540438653 |9 3-540-43865-3 | ||
| 035 | |a (OCoLC)248119957 | ||
| 035 | |a (DE-599)BVBBV014392873 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-706 |a DE-83 |a DE-525 | ||
| 082 | 0 | |a 006.3 | |
| 084 | |a DAT 700f |2 stub | ||
| 245 | 1 | 0 | |a Artificial intelligence, automated reasoning, and symbolic computation |b joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings |c Jacques Calmet ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a XI, 341 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 2385 : Lecture notes in artificial intelligence | |
| 650 | 4 | |a Automatisches Beweisverfahren - Kongress - Marseille <2002> | |
| 650 | 4 | |a Computeralgebra - Kongress - Marseille <2002> | |
| 650 | 4 | |a Künstliche Intelligenz - Kongress - Marseille <2002> | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |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 Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Marseille |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Calmet, Jacques |e Sonstige |4 oth | |
| 711 | 2 | |a AISC |n 6 |d 2002 |c Marseille |j Sonstige |0 (DE-588)10038767-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2385 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 2385 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009852443&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009852443 | |
Datensatz im Suchindex
| _version_ | 1820874911980191744 |
|---|---|
| adam_text |
JACQUES CALMET BELAID BENHAMOU OLGA CAPROTTI LAURENT HENOCQUE VOLKER
SORGE (EDS.) ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING, AND SYMBOLIC
COMPUTATION JOINT INTERNATIONAL CONFERENCES AISC 2002 AND CALCULEMUS
2002 MARSEILLE, FRANCE, JULY 1-5, 2002 PROCEEDINGS MM SPRINGER TABLE OF
CONTENTS INVITED TALKS CONSTRAINT ACQUISITION 1 EUGENE C. FREUDER
EXPRESSIVENESS AND COMPLEXITY OF FUELL FIRST-ORDER CONSTRAINTS IN THE
ALGEBRA OF TREES 2 ALAIN COLMERAUER DEDUCTION VERSUS COMPUTATION: THE
CASE OF INDUCTION 4 ERIC DEPLAGNE, CLAUDE KIRCHNER INTEGRATION OF
QUANTIFIER ELIMINATION WITH CONSTRAINT LOGIC PROGRAMMING 7 THOMAS STURM
AISC REGULAER TALKS TOWARDS A HYBRID SYMBOLIC/NUMERIC COMPUTATIONAL
APPROACH IN CONTROLLER DESIGN 12 MADHU CHETTY INDUCTIVE SYNTHESIS OF
FUNCTIONAL PROGRAMS 26 EMANUEL KITZELMANN, UTE SCHMID, MARTIN
MUEHLPFORDT, FRITZ WYSOTZKI A SYMBOLIC COMPUTATION-BASED EXPERT SYSTEM
FOR ALZHEIMER'S DISEASE DIAGNOSIS 38 BEGONA HERRERO, LUIS M. LAITA,
EUGENIO ROANES-LOZANO, VICTOR MAOJO, LUIS DE LEDESMA, JOSE CRESPO, LAURA
LAITA ON A GENERALISED LOGICALITY THEOREM 51 MARC AIGUIER, DIANE
BAHRAMI, CATHERINE DUBOIS USING SYMBOLIC COMPUTATION IN AN AUTOMATED
SEQUENT DERIVATION SYSTEM FOR MULTI-VALUED LOGIC 64 ELENA SMIRNOVA THE
WRIGHT U FUNCTION 76 ROBERT M. CORLESS, D.J. JEFFREY MULTICONTEXT LOGIC
FOR SEMIGROUPS OF CONTEXTS 90 ROLF NOSSUM,, LUCIANO SERAFINI X TABLE OF
CONTENTS INDEFINITE INTEGRATION AS A TESTBED FOR DEVELOPMENTS IN
MULTI-AGENT SYSTEMS 102 .I.A. CAMPBELL EXPRESSION INFERCNEE - GENETIC
SYMBOLIC CLASSIFICATION INTEGRATED WITH NON-LINEAR COCFFICIENT
OPTIMISATION 117 ANDREW HUNTER A NOVEL FACE RECOGNITION METHOD 128 LI
BAI, YIHUI LIU NON-COMMUTATIVE LOGIC FOR HAND-WRITTEN CHARACTER MODELING
136 JACQUELINE CASTAING FRONI NUMERICAL TO SYMBOLIC DATA DURING THE
RECOGNITION OF SCENARII 154 S. LORIETTE-ROUGEGREZ ON MATHEMATICAL
MODELING OF NETWORKS AND IMPLEMENTATION ASPECTS . 168 REGINA
BERNHAUPT, JOCHEN PFALZGRAF CONTINUOUS FIRST-ORDER CONSTRAINT
SATISFACTION 181 STEFAN RATSCHAN COLORING ALGORITHMS FOR TOLERANCE
GRAPHS: REASONING AND SCHEDULING WITH INTERVAL CONSTRAINTS 196 MARTIN
CHARLES GOLUMBIC, ASSAF SIANI A GENETIC-BASED APPROACH FOR
SATISFIABILITY PROBLEMS 208 MOHAMED TOUNSI ON IDENTIFYING SIMPLE AND
QUANTIFIED LATTICE POINTS IN THE 2SAT POLYTOPE 217 K. SUBRAMANI
CALCULEMUS REGULAER TALKS INTEGRATING BOOLEAN AND MATHEMATICAL SOLVING:
FOUNDATIONS, BASIC ALGORITHMS, AND REQUIREMENTS 231 GILLES AUDEMARD,
PIERGIORGIO BERTOLI, ALESSANDRO CIMATTI, ARTUR KORNILOWICZ, ROBERTO
SEBASTIANI THE MEANING OF INFINITY IN CALCULUS AND COMPUTER ALGEBRA
SYSTEMS 246 MICHAEL, BEESO'II, FREEK WIEDIJK MAKING CONJECTURES ABOUT
MAPLE FUNCTIONS 259 SIMON COLTON EMPLOYING THEORY FORMATION TO GUIDE
PROOF PLAIMING 275 ANDREAS MEIER, VOLKER SORGE, SIMON COLTON TABLE OF
CONTENTS XI UNIFICATION WITH SEQUENCE VARIABLES AND FLEXIBLE ARITY
SYMBOLS AND ITS EXTENSION WITH PATTERN-TERMS 290 TEMUR KUTSIA COMBINING
GENERIC AND DOMAIN SPECIFIC REASONING BY USING CONTEXTS. 305 SILVIO
RANISE INDUCTIVE THEOREM PROVING AND COMPUTER ALGEBRA IN THE MATHWEB
SOFTWARE BUS 319 JUERGEN ZIMMER, LOUISE A. DENNIS YACAS: A DO-IT-YOURSELF
SYMBOLIC ALGEBRA ENVIRONMENT 332 AYAL Z. PINKUS, SERGE WINITZKI FOCUS
WINDOWS: A NEW TECHNIQUE FOR PROOF PRESENTATION 337 FLORINA PIROI, BRUNO
BUCHBERGER AUTHOR INDEX 343 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV014392873 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)248119957 (DE-599)BVBBV014392873 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| 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>00000nam a22000008cb4500</leader><controlfield tag="001">BV014392873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031217</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020618s2002 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">96451155X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540438653</subfield><subfield code="9">3-540-43865-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248119957</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014392873</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Artificial intelligence, automated reasoning, and symbolic computation</subfield><subfield code="b">joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings</subfield><subfield code="c">Jacques Calmet ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 341 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">2385 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatisches Beweisverfahren - Kongress - Marseille <2002></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computeralgebra - Kongress - Marseille <2002></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz - Kongress - Marseille <2002></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">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">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">2002</subfield><subfield code="z">Marseille</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=" "><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=" "><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=" "><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">AISC</subfield><subfield code="n">6</subfield><subfield code="d">2002</subfield><subfield code="c">Marseille</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10038767-6</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">2385 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2385</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=009852443&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-009852443</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Marseille gnd-content |
| genre_facet | Konferenzschrift 2002 Marseille |
| id | DE-604.BV014392873 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:16Z |
| institution | BVB |
| institution_GND | (DE-588)10038767-6 |
| isbn | 3540438653 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009852443 |
| oclc_num | 248119957 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-706 DE-83 DE-525 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-706 DE-83 DE-525 |
| physical | XI, 341 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings Jacques Calmet ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 XI, 341 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2385 : Lecture notes in artificial intelligence Automatisches Beweisverfahren - Kongress - Marseille <2002> Computeralgebra - Kongress - Marseille <2002> Künstliche Intelligenz - Kongress - Marseille <2002> Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Marseille gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Computeralgebra (DE-588)4010449-7 s Calmet, Jacques Sonstige oth AISC 6 2002 Marseille Sonstige (DE-588)10038767-6 oth Lecture notes in computer science 2385 : Lecture notes in artificial intelligence (DE-604)BV000000607 2385 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009852443&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings Lecture notes in computer science Automatisches Beweisverfahren - Kongress - Marseille <2002> Computeralgebra - Kongress - Marseille <2002> Künstliche Intelligenz - Kongress - Marseille <2002> Künstliche Intelligenz (DE-588)4033447-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4069034-9 (DE-588)4010449-7 (DE-588)1071861417 |
| title | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings |
| title_auth | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings |
| title_exact_search | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings |
| title_full | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings Jacques Calmet ... (ed.) |
| title_fullStr | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings Jacques Calmet ... (ed.) |
| title_full_unstemmed | Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings Jacques Calmet ... (ed.) |
| title_short | Artificial intelligence, automated reasoning, and symbolic computation |
| title_sort | artificial intelligence automated reasoning and symbolic computation joint international conferences aisc 2002 and calculemus 2002 marseille france july 1 5 2002 proceedings |
| title_sub | joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings |
| topic | Automatisches Beweisverfahren - Kongress - Marseille <2002> Computeralgebra - Kongress - Marseille <2002> Künstliche Intelligenz - Kongress - Marseille <2002> Künstliche Intelligenz (DE-588)4033447-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Automatisches Beweisverfahren - Kongress - Marseille <2002> Computeralgebra - Kongress - Marseille <2002> Künstliche Intelligenz - Kongress - Marseille <2002> Künstliche Intelligenz Automatisches Beweisverfahren Computeralgebra Konferenzschrift 2002 Marseille |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009852443&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT calmetjacques artificialintelligenceautomatedreasoningandsymboliccomputationjointinternationalconferencesaisc2002andcalculemus2002marseillefrancejuly152002proceedings AT aiscmarseille artificialintelligenceautomatedreasoningandsymboliccomputationjointinternationalconferencesaisc2002andcalculemus2002marseillefrancejuly152002proceedings |