LEADER 04524nam  22007935  450 
001 996465968403316
005 20200630025626.0
010   $a3-642-22673-6
024 7 $a10.1007/978-3-642-22673-1
035   $a(CKB)2550000000041555
035   $a(SSID)ssj0000530774
035   $a(PQKBManifestationID)11930090
035   $a(PQKBTitleCode)TC0000530774
035   $a(PQKBWorkID)10571772
035   $a(PQKB)10500939
035   $a(DE-He213)978-3-642-22673-1
035   $a(MiAaPQ)EBC3066973
035   $a(PPN)156311577
035   $a(EXLCZ)992550000000041555
100   $a20110713d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aIntelligent Computer Mathematics$b[electronic resource] $e18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings /$fedited by James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 312 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v6824
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22672-8 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.
410  0$aLecture Notes in Artificial Intelligence ;$v6824
606   $aArtificial intelligence
606   $aApplication software
606   $aDatabase management
606   $aInformation storage and retrieval
606   $aMathematical logic
606   $aData mining
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aDatabase management.
615  0$aInformation storage and retrieval.
615  0$aMathematical logic.
615  0$aData mining.
615 14$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aDatabase Management.
615 24$aInformation Storage and Retrieval.
615 24$aMathematical Logic and Formal Languages.
615 24$aData Mining and Knowledge Discovery.
676   $a006.3
702   $aDavenport$b James H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFarmer$b William M$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRabe$b Florian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aUrban$b Josef$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aMKM 2011$f(2011 :$eBertinoro, Italy)
906   $aBOOK
912   $a996465968403316
996   $aIntelligent Computer Mathematics$92149623
997   $aUNISA