LEADER 05424nam 22007695 450 001 9910143899403321 005 20200704003940.0 010 $a3-540-45470-5 024 7 $a10.1007/3-540-45470-5 035 $a(CKB)1000000000211788 035 $a(SSID)ssj0000321423 035 $a(PQKBManifestationID)11260291 035 $a(PQKBTitleCode)TC0000321423 035 $a(PQKBWorkID)10263737 035 $a(PQKB)11609597 035 $a(DE-He213)978-3-540-45470-0 035 $a(MiAaPQ)EBC3071863 035 $a(PPN)155201603 035 $a(EXLCZ)991000000000211788 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aArtificial Intelligence, Automated Reasoning, and Symbolic Computation $eJoint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /$fedited by Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XIV, 350 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2385 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43865-3 320 $aIncludes bibliographical references and index. 327 $aInvited 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 Domain Specific 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. 410 0$aLecture Notes in Artificial Intelligence ;$v2385 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aNumerical analysis 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aNumerical analysis. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aNumeric Computing. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aCalmet$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBenhamou$b Belaid$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCaprotti$b Olga$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHenocque$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSorge$b Volker$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCalculemus 2000$f(2002 :$eMarseille, France), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143899403321 996 $aArtificial Intelligence, Automated Reasoning, and Symbolic Computation$92018040 997 $aUNINA