LEADER 01255nam--2200337---450- 001 990000569750203316 035 $a0056975 035 $aUSA010056975 035 $a(ALEPH)000056975USA01 035 $a0056975 100 $a20010717d1812----km-y0itay0103----ba 101 $alat 102 $aIT 105 $a||||||||001yy 200 1 $aEpistolae et libris ad familiares et ad atticum selectae. Accedunt Phedri fabularum libri duo priores cum notis in usum scholarum regni neapolitani infimae latinitatis$fTullio M. Cicerone 210 $aNeapoli$cex typis Angeli Trani$d1812 215 $a126 p.$d21 cm 410 $12001 700 1$aCICERO,$bMarcus Tullius$082411 801 0$aIT$bsalbc$gISBD 912 $a990000569750203316 951 $aFV B 2 3 35$b3881$cFV B 2 3 959 $aBK 969 $aVENTIMIGLIA 979 $aPATTY$b90$c20010717$lUSA01$h1313 979 $aPATTY$b90$c20010717$lUSA01$h1508 979 $aPATTY$b90$c20010717$lUSA01$h1509 979 $c20020403$lUSA01$h1706 979 $aPATRY$b90$c20040406$lUSA01$h1640 996 $aEpistolae et libris ad familiares et ad atticum selectae. Accedunt Phedri fabularum libri duo priores cum notis in usum scholarum regni neapolitani infimae latinitatis$9883864 997 $aUNISA LEADER 03209nam 22007455 450 001 9910413439303321 005 20251107152705.0 010 $a3-030-53518-5 024 7 $a10.1007/978-3-030-53518-6 035 $a(CKB)4100000011354787 035 $a(DE-He213)978-3-030-53518-6 035 $a(MiAaPQ)EBC6273284 035 $a(PPN)254614086 035 $a(MiAaPQ)EBC6270846 035 $a(EXLCZ)994100000011354787 100 $a20200717d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics $e13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings /$fedited by Christoph Benzmüller, Bruce Miller 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12236 311 08$a3-030-53517-7 327 $aInvited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12236 606 $aArtificial intelligence 606 $aComputer science 606 $aComputer networks 606 $aApplication software 606 $aSoftware engineering 606 $aComputers 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aComputer Communication Networks 606 $aComputer and Information Systems Applications 606 $aSoftware Engineering 606 $aComputing Milieux 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aComputer networks. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aComputer Communication Networks. 615 24$aComputer and Information Systems Applications. 615 24$aSoftware Engineering. 615 24$aComputing Milieux. 676 $a004.0151 676 $a006.30151 702 $aBenzmu?ller$b Christoph$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMiller$b Bruce$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910413439303321 996 $aIntelligent Computer Mathematics$93552027 997 $aUNINA LEADER 01966nas 2200673-a 450 001 9910146946703321 005 20260126110033.0 011 $a1421-9735 035 $a(CKB)954925495010 035 $a(CONSER)sn-85019360- 035 $a(DE-599)ZDB1482025-0 035 $a(DE-599)1482025-0 035 $a(EXLCZ)99954925495010 100 $a19831214a19839999 --- a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aBlood purification 210 $aBasel ;$aNew York $cKarger$d[©1983]- 215 $a1 online resource 300 $aTitle from cover. 300 $aRefereed/Peer-reviewed 311 08$aPrint version: Blood purification. (DLC)sn 85019360 (OCoLC)10218998 0253-5068 531 $aBLOOD PURIFICAT 531 $aBLOOD PURIF 531 0 $aBlood purif. 606 $aHemodialysis$vPeriodicals 606 $aBlood$xFiltration$vPeriodicals 606 $aBlood$xFiltration$2fast$3(OCoLC)fst00834594 606 $aHemodialysis$2fast$3(OCoLC)fst00955014 606 $aHämodialyse$2gnd 606 $aZeitschrift$2gnd 606 $aOnline-Ressource$2gnd 606 $aPeritonealdialyse$2gnd 606 $aHämofiltration$2gnd 606 $aHematology 606 $aRenal Dialysis 606 $aUltrafiltration 608 $aPeriodicals.$2fast 608 $aPeriodical. 615 0$aHemodialysis 615 0$aBlood$xFiltration 615 7$aBlood$xFiltration. 615 7$aHemodialysis. 615 7$aHämodialyse. 615 7$aZeitschrift. 615 7$aOnline-Ressource. 615 7$aPeritonealdialyse. 615 7$aHämofiltration. 615 2$aHematology. 615 2$aRenal Dialysis. 615 2$aUltrafiltration. 712 02$aInternational Society of Hemofiltration. 906 $aJOURNAL 912 $a9910146946703321 920 $aexl_impl conversion 996 $aBlood purification$92029056 997 $aUNINA