001449622 000__ 03591cam\a2200601\i\4500
001449622 001__ 1449622
001449622 003__ OCoLC
001449622 005__ 20230310004410.0
001449622 006__ m\\\\\o\\d\\\\\\\\
001449622 007__ cr\cn\nnnunnun
001449622 008__ 220919s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001449622 019__ $$a1344324146$$a1344542581
001449622 020__ $$a9783031152986$$q(electronic bk.)
001449622 020__ $$a3031152980$$q(electronic bk.)
001449622 020__ $$z9783031152979
001449622 020__ $$z3031152972
001449622 0247_ $$a10.1007/978-3-031-15298-6$$2doi
001449622 035__ $$aSP(OCoLC)1345071980
001449622 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCF$$dOCLCQ
001449622 049__ $$aISEA
001449622 050_4 $$aQA9.A1$$bW67 2022eb
001449622 08204 $$a005.13/1$$223/eng/20220919
001449622 1112_ $$aWorkshop on Logic, Language, Information and Computation$$n(28th :$$d2022 :$$cIaşi, Romania)
001449622 24510 $$aLogic, language, information, and computation :$$b28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings /$$cAgata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.).
001449622 2463_ $$aWOLLIC 2022
001449622 264_1 $$aCham :$$bSpringer,$$c2022.
001449622 300__ $$a1 online resource (1 volume) :$$billustrations (black and white).
001449622 336__ $$atext$$btxt$$2rdacontent
001449622 337__ $$acomputer$$bc$$2rdamedia
001449622 338__ $$aonline resource$$bcr$$2rdacarrier
001449622 4901_ $$aLecture notes in computer science ;$$v13468
001449622 4901_ $$aFoLLI publications on logic, language and information
001449622 500__ $$aIncludes author index.
001449622 5050_ $$aProof theory, -- Model theory -- Modal and temporal logics -- Automated reasoning.-Constraint and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory -- Descriptive complexity, -- Higher order logic -- Programming logic -- Model checking -- Type theory -- Lambda calculus -- Semantics of programming languages -- Computational linguistics.-Language and computation -- Logic and language.
001449622 506__ $$aAccess limited to authorized users.
001449622 520__ $$aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.
001449622 588__ $$aDescription based on print version record.
001449622 650_0 $$aComputer logic$$vCongresses.
001449622 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
001449622 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449622 655_0 $$aElectronic books.
001449622 7001_ $$aCiabattoni, Agata,$$eeditor.
001449622 7001_ $$aPimentel, Elaine,$$eeditor.
001449622 7001_ $$aQueiroz, Ruy J. G. B. de,$$eeditor.$$1https://isni.org/isni/0000000449197369
001449622 77608 $$iPrint version:$$aWorkshop on Logic, Language, Information and Computation (28th : 2022 : Iaşi, Romania), creator.$$tLogic, language, information, and computation.$$dCham : Springer, 2022$$z9783031152979$$w(OCoLC)1338677189
001449622 830_0 $$aLecture notes in computer science ;$$v13468.
001449622 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$pFoLLI publications on logic, language and information.
001449622 852__ $$bebk
001449622 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15298-6$$zOnline Access$$91397441.1
001449622 909CO $$ooai:library.usi.edu:1449622$$pGLOBAL_SET
001449622 980__ $$aBIB
001449622 980__ $$aEBOOK
001449622 982__ $$aEbook
001449622 983__ $$aOnline
001449622 994__ $$a92$$bISE