01440nlm0 22004091i 450 9900092425504033219783540454595000924255FED01000924255(Aleph)000924255FED0100092425520100926d2006----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedingsedited by Zoltán ÉsikBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434207Documento elettronicoTestoFormato html, pdfÉsik,ZoltánITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11874683EB990009242550403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsComputer Science Logic771972UNINA01271nam 2200409 450 99646440490331620231110215846.03-030-93049-1(CKB)5670000000000129(MiAaPQ)EBC6838890(Au-PeEL)EBL6838890(PPN)259385093(EXLCZ)99567000000000012920220905d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierArtificial intelligence first CAAI International Conference, CICAI 2021, Hangzhou, China, June 5-6, 2021, proceedings. Part II /edited by Lu Fang [and five others]Cham, Switzerland :Springer,[2021]©20211 online resource (446 pages)Lecture Notes in Computer Science ;v.130703-030-93048-3 Lecture Notes in Computer Science Artificial intelligenceCongressesArtificial intelligence006.3Fang LuMiAaPQMiAaPQMiAaPQBOOK996464404903316Artificial intelligence104454UNISA