LEADER 04992nam  22008415  450 
001 996465534503316
005 20201107234110.0
010   $a3-642-31374-4
024 7 $a10.1007/978-3-642-31374-5
035   $a(CKB)3400000000085359
035   $a(SSID)ssj0000697526
035   $a(PQKBManifestationID)11426628
035   $a(PQKBTitleCode)TC0000697526
035   $a(PQKBWorkID)10692297
035   $a(PQKB)11639260
035   $a(DE-He213)978-3-642-31374-5
035   $a(MiAaPQ)EBC3069880
035   $a(PPN)168319225
035   $a(EXLCZ)993400000000085359
100   $a20120625d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aIntelligent Computer Mathematics$b[electronic resource] $e11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings /$fedited by Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XVIII, 473 p. 117 illus.)
225 1 $aLecture Notes in Artificial Intelligence ;$v7362
300   $aInternational conference proceedings.
311   $a3-642-31373-6 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.
410  0$aLecture Notes in Artificial Intelligence ;$v7362
606   $aComputer science?Mathematics
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer logic
606   $aInformation storage and retrieval
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
615  0$aComputer science?Mathematics.
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aInformation storage and retrieval.
615 14$aSymbolic and Algebraic Manipulation.
615 24$aArtificial Intelligence.
615 24$aMath Applications in Computer Science.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aInformation Storage and Retrieval.
676   $a005.131
702   $aJeuring$b Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCampbell$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCarette$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDos Reis$b Gabriel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSojka$b Petr$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWenzel$b Makarius$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSorge$b Volker$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCalculemus 2012$f(2012 :$eBremen, Germany)
712 12$aDML 2012$f(2012 :$eBremen, Germany)
712 12$aMKM 2012$f(2012 :$eBremen, Germany)
712 12$aCICM (Conference)$d(5th :$f2012 :$eBremen, Germany)
906   $aBOOK
912   $a996465534503316
996   $aIntelligent Computer Mathematics$92149623
997   $aUNISA