Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science. Lecture notes in artificial intelligence
1930 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intellegience and symbolic computation, international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers, John A. Campbell, Eugenio Roanes-Lozano (eds.), 2001, New York, Springer, 1 vol. (X-252 p.), Lecture notes in computer science, 3-540-42071-1 • Artificial Intelligence and Symbolic Computation, Texte imprimé, 9783662182659 |
| LEADER | 04090nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 949285 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15522736X | ||
| 020 | |a 9783540449904 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Artificial Intelligence and Symbolic Computation |d (2000 |c :Madrid). | |
| 245 | 1 | 0 | |a Artificial intellegience and symbolic computation : |b international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers |c [edited by] John A. Campbell, Eugenio Roanes-Lozano. |
| 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 1930 |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 Papers -- George Boole, a Forerunner of Symbolic Computation -- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management -- OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge -- Contributed Papers and Poster Summaries -- On Communicating Proofs in Interactive Mathematical Documents -- Composite Distributive Lattices as Annotation Domains for Mediators -- A Proof Strategy Based on a Dual Representation -- Formalizing Rewriting in the ACL2 Theorem Prover -- Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices -- Reasoning about the Elementary Functions of Complex Analysis -- Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic -- Basic Operators for Solving Constraints via Collaboration of Solvers -- Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem -- Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra -- A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects -- A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design -- How Symbolic Computation Can Benefit Computer-Aided Geometric Design -- CDR: A Rewriting Based Tool to Design FPLA Circuits -- Locally Effective Objects and Artificial Intelligence -- Negotiation Algorithms for Multi-agent Interactions -- Some Techniques of Isomorph-Free Search. | |
| 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 Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Campbell, John Arthur, |d 1940-...., |c mathématicien. |4 pbd | |
| 700 | 1 | |a Roanes-Lozano, Eugenio, |d 19..- |4 pbd | |
| 776 | 0 | |0 056219555 |t Artificial intellegience and symbolic computation |o international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers |f John A. Campbell, Eugenio Roanes-Lozano (eds.) |d 2001 |c New York |n Springer |p 1 vol. (X-252 p.) |s Lecture notes in computer science |z 3-540-42071-1 | |
| 776 | 0 | |t Artificial Intelligence and Symbolic Computation |b Texte imprimé |z 9783662182659 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44990-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-QBD2CLCS-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060316 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44990-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751511854 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44990-6 |z Accès INSA CVL | |
| 997 | |0 949285 |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/ | ||