Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings
Shranjeno v:
| Collectivités auteurs: | , |
|---|---|
| Drugi avtorji: | , , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science. Lecture notes in artificial intelligence
2385 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intelligence, automated reasoning, and symbolic computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, Jacques Calmet ... [et al.], Berlin, Springer, 2002, 1 vol. (XI-341 p.), Lecture notes in computer science, 3-540-43865-3 • Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Texte imprimé, 9783662186886 |
| LEADER | 04969nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971109 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155201603 | ||
| 020 | |a 9783540454700 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.3 | ||
| 111 | 2 | |a International Conference on Artificial Intelligence and Symbolic Mathematical Computation |n (6th |d :2002 |c :Marseille, FR). | |
| 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 [edited by] Jacques Calmet, Belaid Benhamou, Olga Caprotti... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 2385 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talks -- Constraint Acquisition -- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees -- Deduction versus Computation: The Case of Induction -- Integration of Quantifier Elimination with Constraint Logic Programming -- AISC Regular Talks -- Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design -- Inductive Synthesis of Functional Programs -- A Symbolic Computation-Based Expert System for Alzheimer s Disease Diagnosis -- On a Generalised Logicality Theorem -- Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic -- The Wright ? Function -- Multicontext Logic for Semigroups of Contexts -- Indefinite Integration as a Testbed for Developments in Multi-agent Systems -- Expression Inference Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation -- A Novel Face Recognition Method -- Non-commutative Logic for Hand-Written Character Modeling -- From Numerical to Symbolic Data during the Recognition of Scenarii -- On Mathematical Modeling of Networks and Implementation Aspects -- Continuous First-Order Constraint Satisfaction -- Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints -- A Genetic-Based Approach for Satisfiability Problems -- On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope -- Calculemus Regular Talks -- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements -- The Meaning of Infinity in Calculus and Computer Algebra Systems -- Making Conjectures about Maple Functions -- Employing Theory Formation to Guide Proof Planning -- Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms -- Combining Generic and DomainSpecific Reasoning by Using Contexts -- Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus -- Yacas: A Do-It-Yourself Symbolic Algebra Environment -- Focus Windows: A New Technique for Proof Presentation. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Analyse numérique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Benhamou, Belaïd, |d 1963- |4 pbd | |
| 700 | 1 | |a Calmet, Jacques, |d 1941-2019, |c mathématicien. |4 pbd | |
| 700 | 1 | |a Caprotti, Olga. |4 pbd | |
| 711 | 2 | |a CALCULEMUS |n (10th |d :2002 |c :Marseille, FR). |4 aut | |
| 776 | 0 | |0 063056682 |t Artificial intelligence, automated reasoning, and symbolic computation |o Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 |o Proceedings |f Jacques Calmet ... [et al.] |c Berlin |n Springer |d 2002 |p 1 vol. (XI-341 p.) |s Lecture notes in computer science |z 3-540-43865-3 | |
| 776 | 0 | |t Artificial Intelligence, Automated Reasoning, and Symbolic Computation |b Texte imprimé |z 9783662186886 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45470-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WTMTZTWF-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750656204 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45470-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754006107 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45470-5 |z Accès INSA CVL | |
| 997 | |0 971109 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||