Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long pe...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
958 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Integrating symbolic mathematical computation and artificial intelligence, Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994, selected papers, Jacques Calmet, John A. Campbell, eds, Berlin, Springer-Verlag, 1995, 1 vol. (X-275 p.), Lecture notes in computer science, 3-540-60156-2 • Integrating Symbolic Mathematical Computation and Artificial Intelligence, Texte imprimé, 9783662195956 |
| LEADER | 04632nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944039 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155172476 | ||
| 020 | |a 9783540495338 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Artificial Intelligence and Symbolic Mathematical Computation |n (02 |d :1994 |c :Cambridge). | |
| 245 | 1 | 0 | |a Integrating symbolic mathematical computation and artificial intelligence : |b Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers |c [edited by] Jacques Calmet, John A. Campbell. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 958 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Interactive theorem proving and computer algebra -- A practical algorithm for geometric theorem proving -- Combining theorem proving and symbolic mathematical computing -- Tools for solving problems in the scope of algebraic programming -- Planning a proof of the intermediate value theorem -- A general technique for automatically optimizing programs through the use of proof plans -- Datalog and TwoGroups and C++ -- Linear logic and real closed fields: A way to handle situations dynamically -- A proof environment for arithmetic with the omega rule -- Using commutativity properties for controlling coercions -- Theories = signatures + propositions used as types -- The ideal structure of Gröbner base computations -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings -- Propagation of mathematical constraints in subdefinite models -- Combining computer algebra and rule based reasoning -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory -- Subsymbolic processing using adaptive algorithms -- An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus -- Subdefinite computations and symbolic transformations in the uniCalc solver. | |
| 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 | ||
| 520 | |a This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Analyse numérique | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Campbell, John Arthur, |d 1940-...., |c mathématicien. |4 pbd | |
| 700 | 1 | |a Calmet, Jacques, |d 1941-2019, |c mathématicien. |4 pbd | |
| 776 | 0 | |0 024228095 |t Integrating symbolic mathematical computation and artificial intelligence |o Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 |o selected papers |f Jacques Calmet, John A. Campbell, eds |c Berlin |n Springer-Verlag |d 1995 |p 1 vol. (X-275 p.) |s Lecture notes in computer science |z 3-540-60156-2 | |
| 776 | 0 | |t Integrating Symbolic Mathematical Computation and Artificial Intelligence |b Texte imprimé |z 9783662195956 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60156-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CJBKD3L7-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923272 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60156-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093557X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60156-2 |z Accès INSA CVL | |
| 997 | |0 944039 |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/ | ||