LEADER 04357nam 22008415 450 001 996198514103316 005 20201107071219.0 010 $a3-319-20615-X 024 7 $a10.1007/978-3-319-20615-8 035 $a(CKB)3710000000436923 035 $a(SSID)ssj0001558559 035 $a(PQKBManifestationID)16184053 035 $a(PQKBTitleCode)TC0001558559 035 $a(PQKBWorkID)14819503 035 $a(PQKB)10868494 035 $a(DE-He213)978-3-319-20615-8 035 $a(MiAaPQ)EBC6299093 035 $a(MiAaPQ)EBC5587880 035 $a(Au-PeEL)EBL5587880 035 $a(OCoLC)912857509 035 $a(PPN)186399693 035 $a(EXLCZ)993710000000436923 100 $a20150622d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntelligent Computer Mathematics$b[electronic resource] $eInternational Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /$fedited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXI, 359 p. 84 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v9150 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-20614-1 327 $aInvited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. 330 $aThis book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data. 410 0$aLecture Notes in Artificial Intelligence ;$v9150 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aMathematical logic 606 $aNatural language processing (Computer science) 606 $aInformation storage and retrieval 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 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 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 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$aNatural language processing (Computer science). 615 0$aInformation storage and retrieval. 615 14$aMath Applications in Computer Science. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aMathematical Logic and Formal Languages. 615 24$aNatural Language Processing (NLP). 615 24$aInformation Storage and Retrieval. 676 $a006.30151 702 $aKerber$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCarette$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKaliszyk$b Cezary$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRabe$b Florian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSorge$b Volker$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198514103316 996 $aIntelligent Computer Mathematics$92149623 997 $aUNISA LEADER 01197nam a2200253 i 4500 001 991000676389707536 008 041206s2001 it 001 0 ita d 020 $a8813230834 035 $ab13256385-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0 $a343.0252 100 1 $aAssini, Nicola$08902 245 10$aManuale pratico dell'espropriazione :$blegislazione nazionale e regionale, circolari applicative, procedimento espropriativo e problematiche connesse, giurisprudenza costituzionale, civile e amministrativa /$cNicola Assini, Nereo Tescaroli 260 $aPadova,$bCEDAM,$c2001 300 $aix, 832 p. ;$c24 cm 440 0$aUrbanistica, opere pubbliche, espropriazioni ;$v40 650 4$aEspropriazione per causa di pubblica utilità$xLegislazione 700 1 $aTescaroli, Nereo$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0268460 907 $a.b13256385$b02-04-14$c06-12-04 912 $a991000676389707536 945 $aLE027 343.02 ASS01.01$g1$i2027000071722$lle027$o-$pE30.00$q-$rl$s- $t0$u4$v0$w4$x0$y.i13955767$z06-12-04 996 $aManuale pratico dell'espropriazione$9679328 997 $aUNISALENTO 998 $ale027$b06-12-04$cm$da $e-$fita$git $h0$i0 LEADER 02730nas 2200685-a 450 001 9910229227803321 005 20241223110814.0 035 $a(CKB)110975413975964 035 $a(CONSER)---39026945- 035 $a(MiFhGG)1079 035 $a(EXLCZ)99110975413975964 100 $a20750920b19391989 -a- a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 04$aThe Department of State bulletin 210 $a[Washington, D.C.?] $cOffice of Public Communication, Bureau of Public Affairs $cFor sale by the Supt. of Docs., U.S. G.P.O.$d[1939-1989] 215 $a1 online resource 300 $a"The official monthly record of United States foreign policy." 311 08$aPrint version: The Department of State bulletin. 0041-7610 (DLC) 39026945 (OCoLC)1639364 531 $aDEPT STATE BUL 531 $aDEP STATE BULL 531 $aDEPARTMENT OF STATE BULLETIN 531 0 $aDep. State bull. 606 $aMensuels$2eclas 606 $aRelations extérieures$2eclas 606 $aDiplomatic relations$2fast$3(OCoLC)fst01907412 606 $aInternational relations$xAdministration$2fast$3(OCoLC)fst01353398 606 $aBuitenlandse betrekkingen$2gtt 606 $aInternationale betrekkingen$2gtt 606 $aBuitenlandse politiek$2gtt 606 $aOverheid$2gtt 607 $aUnited States$xForeign relations$vPeriodicals 607 $aUnited States$xForeign relations administration$vPeriodicals 607 $aEstados Unidos$xRelaciones exteriores$xFuentes 607 $aÉtats-Unis$xRelations extérieures$vPériodiques 607 $aÉtats-Unis$xRelations extérieures$xAdministration$vPériodiques 607 $aEtats-Unis d'Amérique$2eclas 607 $aUnited States$2fast$1https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq 607 $aUnited States$xForeign relations administration$vPeriodicals$2nli 607 $aUnited States$xForeign relations$vPeriodicals$2nli 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 7$aMensuels. 615 7$aRelations extérieures. 615 7$aDiplomatic relations. 615 7$aInternational relations$xAdministration. 615 17$aBuitenlandse betrekkingen. 615 17$aInternationale betrekkingen. 615 17$aBuitenlandse politiek. 615 17$aOverheid. 676 $a353.1 712 02$aUnited States.$bDepartment of State.$bOffice of Media Services. 712 02$aUnited States.$bDepartment of State.$bOffice of Public Communication. 906 $aJOURNAL 912 $a9910229227803321 920 $aexl_impl conversion 996 $aDepartment of State bulletin$9797665 997 $aUNINA