LEADER 03693nam  22007935  450 
001 9910592979603321
005 20251113175824.0
010   $a9783031152986
010   $a3031152980
024 7 $a10.1007/978-3-031-15298-6
035   $a(MiAaPQ)EBC7083140
035   $a(Au-PeEL)EBL7083140
035   $a(CKB)24814912300041
035   $a(PPN)264952707
035   $a(OCoLC)1345071980
035   $a(DE-He213)978-3-031-15298-6
035   $a(EXLCZ)9924814912300041
100   $a20220908d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic, Language, Information, and Computation $e28th International Workshop, WoLLIC 2022, Ia?i, Romania, September 20?23, 2022, Proceedings /$fedited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (441 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13468
311 08$aPrint version: Ciabattoni, Agata Logic, Language, Information, and Computation Cham : Springer International Publishing AG,c2022 9783031152979 
320   $aIncludes bibliographical references and index.
327   $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.
330   $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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13468
606   $aLogic
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aNatural language processing (Computer science)
606   $aComputers
606   $aCompilers (Computer programs)
606   $aLogic
606   $aArtificial Intelligence
606   $aProgramming Language
606   $aNatural Language Processing (NLP)
606   $aComputer Hardware
606   $aCompilers and Interpreters
615  0$aLogic.
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers)
615  0$aNatural language processing (Computer science)
615  0$aComputers.
615  0$aCompilers (Computer programs)
615 14$aLogic.
615 24$aArtificial Intelligence.
615 24$aProgramming Language.
615 24$aNatural Language Processing (NLP).
615 24$aComputer Hardware.
615 24$aCompilers and Interpreters.
676   $a929.605
676   $a005.131
702   $aCiabattoni$b Agata
702   $aPimentel$b Elaine
702   $aQueiroz$b Ruy J. G. B. de
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910592979603321
996   $aLogic, Language, Information, and Computation$93552031
997   $aUNINA