|
|
|
|
LEADER |
02771nam a22005655i 4500 |
001 |
10965 |
003 |
DE-He213 |
005 |
20130725201149.0 |
007 |
cr nn 008mamaa |
008 |
100729s2010 gw | s |||| 0|eng d |
020 |
# |
# |
|a 9783642143229
|9 978-3-642-14322-9
|
024 |
7 |
# |
|a 10.1007/978-3-642-14322-9
|2 doi
|
050 |
# |
4 |
|a QA8.9-QA10.3
|
072 |
# |
7 |
|a UYA
|2 bicssc
|
072 |
# |
7 |
|a MAT018000
|2 bisacsh
|
072 |
# |
7 |
|a COM051010
|2 bisacsh
|
082 |
0 |
4 |
|a 005.131
|2 23
|
100 |
1 |
# |
|a Ebert, Christian.
|e editor.
|
245 |
1 |
4 |
|a The Mathematics of Language
|b 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
|c edited by Christian Ebert, Gerhard Jg̃er, Jens Michaelis.
|h [electronic resource] :
|
264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
300 |
# |
# |
|a VIII, 297p. 55 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 Lecture Notes in Computer Science,
|v 6149
|x 0302-9743 ;
|
520 |
# |
# |
|a This volume contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language, held in Los Angeles, CA, USA in July 2007 and in Bielefeld, Germany, in August 2009.The 19 revised papers presented together with 3 invited speeches were carefully selected from numerous submissions. The papers in this collection reflect a wide range of theoretical topics relating to language and computation including papers on the intersection of computational complexity, formal language theory, proof theory, and logic, as well as phonology, lexical semantics, syntax and typology.
|
650 |
# |
0 |
|a Computer science.
|
650 |
# |
0 |
|a Information theory.
|
650 |
# |
0 |
|a Logic design.
|
650 |
# |
0 |
|a Computational complexity.
|
650 |
# |
0 |
|a Algebra
|x Data processing.
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
650 |
2 |
4 |
|a Symbolic and Algebraic Manipulation.
|
650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
650 |
2 |
4 |
|a Theory of Computation.
|
650 |
2 |
4 |
|a Mathematics of Computing.
|
700 |
1 |
# |
|a Jg̃er, Gerhard.
|e editor.
|
700 |
1 |
# |
|a Michaelis, Jens.
|e editor.
|
710 |
2 |
# |
|a SpringerLink (Online service)
|
773 |
0 |
# |
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642143212
|
830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6149
|x 0302-9743 ;
|
856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14322-9
|
912 |
# |
# |
|a ZDB-2-SCS
|
912 |
# |
# |
|a ZDB-2-LNC
|
950 |
# |
# |
|a Computer Science (Springer-11645)
|