001440266 000__ 03609cam\a2200709\i\4500
001440266 001__ 1440266
001440266 003__ OCoLC
001440266 005__ 20230309004552.0
001440266 006__ m\\\\\o\\d\\\\\\\\
001440266 007__ cr\un\nnnunnun
001440266 008__ 211012s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001440266 019__ $$a1273981233$$a1275356590$$a1287763499$$a1292518952
001440266 020__ $$a9783030888534$$q(electronic bk.)
001440266 020__ $$a3030888533$$q(electronic bk.)
001440266 020__ $$z9783030888527
001440266 020__ $$z3030888525
001440266 0247_ $$a10.1007/978-3-030-88853-4$$2doi
001440266 035__ $$aSP(OCoLC)1274200314
001440266 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dDCT$$dOCLCO$$dDKU$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440266 049__ $$aISEA
001440266 050_4 $$aQA9.A1$$bW67 2021
001440266 08204 $$a005.13/1$$223
001440266 1112_ $$aWorkshop on Logic, Language, Information and Computation$$n(27th :$$d2021 :$$cOnline)
001440266 24510 $$aLogic, language, information, and computation :$$b27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings /$$cAlexandra Silva, Renata Wassermann, Ruy de Queiroz (eds.).
001440266 24630 $$aWoLLIC 2021
001440266 264_1 $$aCham :$$bSpringer,$$c[2021]
001440266 264_4 $$c©2021
001440266 300__ $$a1 online resource :$$billustrations (some color)
001440266 336__ $$atext$$btxt$$2rdacontent
001440266 337__ $$acomputer$$bc$$2rdamedia
001440266 338__ $$aonline resource$$bcr$$2rdacarrier
001440266 347__ $$atext file
001440266 347__ $$bPDF
001440266 4901_ $$aLecture notes in computer science ;$$v13038
001440266 4901_ $$aFoLLI publications on logic, language and information
001440266 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
001440266 500__ $$aInternational conference proceedings.
001440266 500__ $$aIncludes author index.
001440266 5050_ $$aLogic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems.
001440266 506__ $$aAccess limited to authorized users.
001440266 520__ $$aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
001440266 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 12, 2021).
001440266 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
001440266 650_0 $$aLanguage and logic$$vCongresses.
001440266 650_6 $$aLogique symbolique et mathématique$$vCongrès.
001440266 650_6 $$aLangage et logique$$vCongrès.
001440266 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440266 655_7 $$aConference papers and proceedings.$$2lcgft
001440266 655_7 $$aActes de congrès.$$2rvmgf
001440266 655_0 $$aElectronic books.
001440266 7001_ $$aSilva, Alexandra$$q(Alexandra Martins da),$$eeditor.
001440266 7001_ $$aWassermann, Renata,$$eeditor.
001440266 7001_ $$aQueiroz, Ruy J. G. B. de,$$eeditor.
001440266 830_0 $$aLecture notes in computer science ;$$v13038.
001440266 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$pFoLLI publications on logic, language and information.
001440266 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001440266 852__ $$bebk
001440266 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88853-4$$zOnline Access$$91397441.1
001440266 909CO $$ooai:library.usi.edu:1440266$$pGLOBAL_SET
001440266 980__ $$aBIB
001440266 980__ $$aEBOOK
001440266 982__ $$aEbook
001440266 983__ $$aOnline
001440266 994__ $$a92$$bISE