|
|
|
|
| LEADER |
03467nam a2200601 4500 |
| 001 |
978-3-030-13435-8 |
| 003 |
DE-He213 |
| 005 |
20191024081013.0 |
| 007 |
cr nn 008mamaa |
| 008 |
190213s2019 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783030134358
|9 978-3-030-13435-8
|
| 024 |
7 |
|
|a 10.1007/978-3-030-13435-8
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.9.L63
|
| 050 |
|
4 |
|a QA76.5913
|
| 072 |
|
7 |
|a UM
|2 bicssc
|
| 072 |
|
7 |
|a COM051000
|2 bisacsh
|
| 072 |
|
7 |
|a UM
|2 thema
|
| 072 |
|
7 |
|a UYF
|2 thema
|
| 082 |
0 |
4 |
|a 005.1015113
|2 23
|
| 245 |
1 |
0 |
|a Language and Automata Theory and Applications
|h [electronic resource] :
|b 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
|c edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
|
| 250 |
|
|
|a 1st ed. 2019.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2019.
|
| 300 |
|
|
|a XVII, 470 p. 684 illus., 17 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 ;
|v 11417
|
| 505 |
0 |
|
|a Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Computer science-Mathematics.
|
| 650 |
1 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|0 http://scigraph.springernature.com/things/product-market-codes/I16021
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|0 http://scigraph.springernature.com/things/product-market-codes/I16048
|
| 650 |
2 |
4 |
|a Logic in AI.
|0 http://scigraph.springernature.com/things/product-market-codes/I21020
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|0 http://scigraph.springernature.com/things/product-market-codes/I17028
|
| 700 |
1 |
|
|a Martín-Vide, Carlos.
|e editor.
|0 (orcid)0000-0003-1670-6000
|1 https://orcid.org/0000-0003-1670-6000
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Okhotin, Alexander.
|e editor.
|0 (orcid)0000-0002-1615-2725
|1 https://orcid.org/0000-0002-1615-2725
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Shapira, Dana.
|e editor.
|0 (orcid)0000-0002-2320-9064
|1 https://orcid.org/0000-0002-2320-9064
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030134341
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030134365
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues ;
|v 11417
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-13435-8
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
