LEADER 01196nam0-22004211i-450- 001 990003984250403321 005 20051122132551.0 010 $a88-348-3296-5 035 $a000398425 035 $aFED01000398425 035 $a(Aleph)000398425FED01 035 $a000398425 100 $a20031203d2003----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $a<>Libia$egeopolitica e geoeconomia tra mondo arabo, Africa e Mediterraneo$fItalo Iozzolino 210 $aTorino$cGiappichelli$d2003 215 $a197 p.$cill.$d24 cm 610 0 $aRisorse del deserto 610 0 $aIndustrializzazione 610 0 $aMediterraneo$aGeopolitica 610 0 $aMediterraneo$aEconomia 676 $a961.2$v12 rid.$zita 700 1$aIozzolino,$bItalo$0150355 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003984250403321 952 $a157.000.IOZ$b5250$fDECGE 952 $aVII A 731$b40456$fFSPBC 952 $aVII A 732$b40457$fFSPBC 952 $aA-Exe 0136$bB.F.L.F. 50981$fILFGE 952 $aL 552$bs.i.$fDSS 959 $aDECGE 959 $aILFGE 959 $aDSS 996 $aLibia$9287887 997 $aUNINA LEADER 01198cam0-22003491i-450- 001 990004752200403321 005 20031126133135.0 035 $a000475220 035 $aFED01000475220 035 $a(Aleph)000475220FED01 035 $a000475220 100 $a19990604g1907----km-y0itay50------ba 101 2 $aeng$alat 102 $aGB 105 $ay-------001gy 200 1 $aVergil's messianic eclogue$eits meaning, occasion, & sources$gthree studies by Joseph B. Mayor, W. Warde Fowler, R.S. Conway$gwith the texte of the eclogue and verse translation by R.S. Conway 210 $aLondon$bAbemarle Street$cJ. Murray$d1907 215 $aXI, 146 p.$d20 cm 307 $aRil. 610 0 $aVirgilio Marone, Publio$aEcloga 4. 676 $a871'.01 700 1$aMayor,$bJoseph Bickersteth$0189866 701 1$aConway,$bRobert Seymour$f<1864-1933> 701 1$aFowler,$bWilliam Warde$0194608 702 1$aVergilius Maro,$bPublius$f<70-19 a. C.> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004752200403321 952 $aP2B-650-VERG.M.-8M.J.B.-1907$bR. Bibl. 594/4452$fFLFBC 959 $aFLFBC 996 $aVergil's messianic eclogue$9558108 997 $aUNINA LEADER 04528nam 22008055 450 001 996211265103316 005 20200705172631.0 010 $a3-319-13770-0 024 7 $a10.1007/978-3-319-13770-4 035 $a(CKB)3710000000325027 035 $a(SSID)ssj0001408179 035 $a(PQKBManifestationID)11900093 035 $a(PQKBTitleCode)TC0001408179 035 $a(PQKBWorkID)11358520 035 $a(PQKB)10729714 035 $a(DE-He213)978-3-319-13770-4 035 $a(MiAaPQ)EBC5586857 035 $a(Au-PeEL)EBL5586857 035 $a(OCoLC)1066193844 035 $a(PPN)183152328 035 $a(EXLCZ)993710000000325027 100 $a20141208d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aArtificial Intelligence and Symbolic Computation$b[electronic resource] $e12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /$fedited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 206 p. 51 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v8884 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-13769-7 327 $aBasic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing. 330 $aThis book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing. 410 0$aLecture Notes in Artificial Intelligence ;$v8884 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aInformation storage and retrieval 606 $aMathematical logic 606 $aApplication software 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 $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 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 0$aInformation storage and retrieval. 615 0$aMathematical logic. 615 0$aApplication software. 615 14$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 615 24$aMath Applications in Computer Science. 615 24$aInformation Storage and Retrieval. 615 24$aMathematical Logic and Formal Languages. 615 24$aInformation Systems Applications (incl. Internet). 676 $a005.131 702 $aAranda-Corral$b Gonzalo A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCalmet$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMartín-Mateos$b Francisco J$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996211265103316 996 $aArtificial Intelligence and Symbolic Computation$9772740 997 $aUNISA