LEADER 04234nam  22006735  450 
001 996466173403316
005 20200704072754.0
010   $a3-540-44990-6
024 7 $a10.1007/3-540-44990-6
035   $a(CKB)1000000000211370
035   $a(SSID)ssj0000321410
035   $a(PQKBManifestationID)11271151
035   $a(PQKBTitleCode)TC0000321410
035   $a(PQKBWorkID)10262874
035   $a(PQKB)11644406
035   $a(DE-He213)978-3-540-44990-4
035   $a(MiAaPQ)EBC3071583
035   $a(PPN)15522736X
035   $a(EXLCZ)991000000000211370
100   $a20121227d2001      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aArtificial Intelligence and Symbolic Computation$b[electronic resource] $eInternational Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /$fedited by John A. Campbell, Eugenio Roanes-Lozano
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (X, 258 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1930
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-42071-1 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
410  0$aLecture Notes in Artificial Intelligence ;$v1930
606   $aArtificial intelligence
606   $aComputer science?Mathematics
606   $aMathematical logic
606   $aAlgorithms
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aAlgorithms$3https://scigraph.springernature.com/ontologies/product-market-codes/M14018
615  0$aArtificial intelligence.
615  0$aComputer science?Mathematics.
615  0$aMathematical logic.
615  0$aAlgorithms.
615 14$aArtificial Intelligence.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aMathematical Logic and Formal Languages.
615 24$aAlgorithms.
676   $a006.3
702   $aCampbell$b John A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRoanes-Lozano$b Eugenio$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference AISC 2000
906   $aBOOK
912   $a996466173403316
996   $aArtificial Intelligence and Symbolic Computation$9772740
997   $aUNISA