國立虎尾科技大學 |

Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Language, Logic, and Computation/ edited by Aybüke Özgün, Yulia Zinova.
其他題名:	13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
其他作者:	Özgün, Aybüke.
面頁冊數:	XVI, 355 p. 63 illus., 8 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Machine theory. -
電子資源:	https://doi.org/10.1007/978-3-030-98479-3
ISBN:	9783030984793

Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
Language, Logic, and Computation13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /[electronic resource] :edited by Aybüke Özgün, Yulia Zinova. - 1st ed. 2022. - XVI, 355 p. 63 illus., 8 illus. in color.online resource. - Lecture Notes in Computer Science,132061611-3349 ;. - Lecture Notes in Computer Science,9324.

Language and Logic -- Logic and Computation -- Mathematical Logic -- Computational Linguistics -- Semantics -- Georgian -- German.

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden).

ISBN: 9783030984793

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

527775
Machine theory.

LC Class. No.: QA267-268.5

Dewey Class. No.: 005.131

Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
LDR:02348nam a22004095i 4500 001 1091567
003 DE-He213
005 20220330143337.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783030984793 $9 978-3-030-98479-3
024 7 $a 10.1007/978-3-030-98479-3 $2 doi
035 $a 978-3-030-98479-3
050 4 $a QA267-268.5
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
245 1 0 $a Language, Logic, and Computation $h [electronic resource] : $b 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / $c edited by Aybüke Özgün, Yulia Zinova.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XVI, 355 p. 63 illus., 8 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 Lecture Notes in Computer Science, $x 1611-3349 ; $v 13206
505 0 $a Language and Logic -- Logic and Computation -- Mathematical Logic -- Computational Linguistics -- Semantics -- Georgian -- German.
520 $a This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden).
650 0 $a Machine theory. $3 527775
650 0 $a Computer science. $3 573171
650 0 $a Software engineering. $3 562952
650 0 $a Logic programming. $3 670217
650 0 $a Natural language processing (Computer science). $3 802180
650 1 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Natural Language Processing (NLP). $3 1254293
700 1 $a Özgün, Aybüke. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1399161
700 1 $a Zinova, Yulia. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1399162
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030984786
776 0 8 $i Printed edition: $z 9783030984809
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-030-98479-3
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)