000 03559nam a22006375i 4500
001 978-3-031-15298-6
003 DE-He213
005 20240730165520.0
007 cr nn 008mamaa
008 220908s2022 sz | s |||| 0|eng d
020 _a9783031152986
_9978-3-031-15298-6
024 7 _a10.1007/978-3-031-15298-6
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
072 7 _aQDTL
_2thema
082 0 4 _a160
_223
245 1 0 _aLogic, Language, Information, and Computation
_h[electronic resource] :
_b28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings /
_cedited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXXIX, 411 p. 62 illus., 16 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13468
505 0 _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.
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.
650 0 _aLogic.
_924230
650 0 _aArtificial intelligence.
_93407
650 0 _aProgramming languages (Electronic computers).
_97503
650 0 _aNatural language processing (Computer science).
_94741
650 0 _aComputers.
_98172
650 0 _aCompilers (Computer programs).
_93350
650 1 4 _aLogic.
_924230
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aProgramming Language.
_939403
650 2 4 _aNatural Language Processing (NLP).
_931587
650 2 4 _aComputer Hardware.
_933420
650 2 4 _aCompilers and Interpreters.
_931853
700 1 _aCiabattoni, Agata.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989309
700 1 _aPimentel, Elaine.
_eeditor.
_0(orcid)
_10000-0002-7113-0801
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989310
700 1 _ade Queiroz, Ruy J. G. B.
_eeditor.
_0(orcid)
_10000-0003-1482-0977
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989311
710 2 _aSpringerLink (Online service)
_989312
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031152979
776 0 8 _iPrinted edition:
_z9783031152993
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13468
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-15298-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86362
_d86362