000 | 02701nam a22005175i 4500 | ||
---|---|---|---|
001 | 978-3-030-88853-4 | ||
003 | DE-He213 | ||
005 | 20240730180311.0 | ||
007 | cr nn 008mamaa | ||
008 | 211005s2021 sz | s |||| 0|eng d | ||
020 |
_a9783030888534 _9978-3-030-88853-4 |
||
024 | 7 |
_a10.1007/978-3-030-88853-4 _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] : _b27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings / _cedited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz. |
250 | _a1st ed. 2021. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2021. |
|
300 |
_aVIII, 427 p. 53 illus., 5 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 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v13038 |
|
505 | 0 | _aLogic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. | |
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. | ||
650 | 0 |
_aLogic. _924230 |
|
650 | 1 | 4 |
_aLogic. _924230 |
700 | 1 |
_aSilva, Alexandra. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9119565 |
|
700 | 1 |
_aWassermann, Renata. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9119566 |
|
700 | 1 |
_ade Queiroz, Ruy. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9119567 |
|
710 | 2 |
_aSpringerLink (Online service) _9119568 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030888527 |
776 | 0 | 8 |
_iPrinted edition: _z9783030888541 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v13038 _9119569 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-88853-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c90254 _d90254 |