國立虎尾科技大學 |

Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic, Language, Information, and Computation/ edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz.
其他題名:	27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
其他作者:	de Queiroz, Ruy.
面頁冊數:	VIII, 427 p. 53 illus., 5 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-030-88853-4
ISBN:	9783030888534

Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
Logic, Language, Information, and Computation27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /[electronic resource] :edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz. - 1st ed. 2021. - VIII, 427 p. 53 illus., 5 illus. in color.online resource. - Theoretical Computer Science and General Issues,130382512-2029 ;. - Theoretical Computer Science and General Issues,12865.

Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems.

Edited 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.

ISBN: 9783030888534

Standard No.: 10.1007/978-3-030-88853-4doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
LDR:02153nam a22004095i 4500 001 1059341
003 DE-He213
005 20220223174739.0
007 cr nn 008mamaa
008 220414s2021 sz | s |||| 0|eng d
020 $a 9783030888534 $9 978-3-030-88853-4
024 7 $a 10.1007/978-3-030-88853-4 $2 doi
035 $a 978-3-030-88853-4
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a Logic, Language, Information, and Computation $h [electronic resource] : $b 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / $c edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a VIII, 427 p. 53 illus., 5 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues, $x 2512-2029 ; $v 13038
505 0 $a Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems.
520 $a Edited 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 $a Logic. $3 558909
700 1 $a de Queiroz, Ruy. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264704
700 1 $a Wassermann, Renata. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1360838
700 1 $a Silva, Alexandra. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 891804
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030888527
776 0 8 $i Printed edition: $z 9783030888541
830 0 $a Theoretical Computer Science and General Issues, $x 2512-2029 ; $v 12865 $3 1365719
856 4 0 $u https://doi.org/10.1007/978-3-030-88853-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)