國立虎尾科技大學 |

Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Grammar/ edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.
Reminder of title:	20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
other author:	Foret, Annie.
Description:	X, 323 p. 87 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Mathematical logic. -
Online resource:	https://doi.org/10.1007/978-3-662-53042-9
ISBN:	9783662530429

Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Formal Grammar20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /[electronic resource] :edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla. - 1st ed. 2016. - X, 323 p. 87 illus.online resource. - Theoretical Computer Science and General Issues ;9804. - Theoretical Computer Science and General Issues ;9163.

Formal Grammar -- Mathematical Linguistics -- Application of formal and mathematical methods -- Natural Language.

This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis.

ISBN: 9783662530429

Standard No.: 10.1007/978-3-662-53042-9doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 005.131

Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
LDR:02563nam a22004095i 4500 001 981114
003 DE-He213
005 20200705090425.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783662530429 $9 978-3-662-53042-9
024 7 $a 10.1007/978-3-662-53042-9 $2 doi
035 $a 978-3-662-53042-9
050 4 $a QA8.9-10.3
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 Formal Grammar $h [electronic resource] : $b 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / $c edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.
250 $a 1st ed. 2016.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2016.
300 $a X, 323 p. 87 illus. $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 ; $v 9804
505 0 $a Formal Grammar -- Mathematical Linguistics -- Application of formal and mathematical methods -- Natural Language.
520 $a This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 0 $a Computer logic. $3 786340
650 1 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Foret, Annie. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1112423
700 1 $a Morrill, Glyn. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1077700
700 1 $a Muskens, Reinhard. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273657
700 1 $a Osswald, Rainer. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273658
700 1 $a Pogodalla, Sylvain. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 786320
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662530412
776 0 8 $i Printed edition: $z 9783662530436
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-662-53042-9
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)