001449607 000__ 02883cam\a2200553\a\4500
001449607 001__ 1449607
001449607 003__ OCoLC
001449607 005__ 20230310004409.0
001449607 006__ m\\\\\o\\d\\\\\\\\
001449607 007__ cr\un\nnnunnun
001449607 008__ 220919s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001449607 020__ $$a9783031166815$$q(electronic bk.)
001449607 020__ $$a3031166817$$q(electronic bk.)
001449607 020__ $$z3031166809
001449607 020__ $$z9783031166808
001449607 0247_ $$a10.1007/978-3-031-16681-5$$2doi
001449607 035__ $$aSP(OCoLC)1345017447
001449607 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dOCLCF$$dOCLCQ
001449607 049__ $$aISEA
001449607 050_4 $$aQA76.9.M35$$bC53 2022eb
001449607 08204 $$a004.01/51$$223/eng/20220923
001449607 1112_ $$aCICM (Conference)$$n(15th :$$d2022 :$$cTbilisi, Georgia)
001449607 24510 $$aIntelligent computer mathmatics :$$b15th international conference, CICM 2022 /$$cKevin Buzzard, Temur Kutsia (eds.).
001449607 2463_ $$aCICM 2022
001449607 260__ $$aCham, Switzerland :$$bSpringer,$$c2022.
001449607 300__ $$a1 online resource
001449607 4901_ $$aLecture notes in artificial intelligence
001449607 4901_ $$aLecture notes in computer science ;$$v13467
001449607 4901_ $$aLNCS sublibrary, SL 7, Artificial intelligence
001449607 5050_ $$aInvited Talk -- Formalizations -- Digital Libraries and Mathematical Knowledge Management -- Theorem Proving and Expression Transformation -- Satisfiability, QBF, and SMT Solving -- Computer-Aided Teaching -- Datasets and system entries.
001449607 506__ $$aAccess limited to authorized users.
001449607 520__ $$aThis book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
001449607 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 23, 2022).
001449607 650_0 $$aComputer science$$xMathematics$$vCongresses.
001449607 650_0 $$aArtificial intelligence$$xMathematics$$vCongresses.
001449607 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449607 655_0 $$aElectronic books.
001449607 7001_ $$aBuzzard, Kevin,$$eeditor.
001449607 7001_ $$aKutsia, Temur,$$eeditor.
001449607 77608 $$iPrint version: $$z3031166809$$z9783031166808$$w(OCoLC)1340402983
001449607 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
001449607 830_0 $$aLecture notes in computer science ;$$v13467.
001449607 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
001449607 852__ $$bebk
001449607 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-16681-5$$zOnline Access$$91397441.1
001449607 909CO $$ooai:library.usi.edu:1449607$$pGLOBAL_SET
001449607 980__ $$aBIB
001449607 980__ $$aEBOOK
001449607 982__ $$aEbook
001449607 983__ $$aOnline
001449607 994__ $$a92$$bISE