語系
Moreira, Nelma.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Implementation and application of automata17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
(1998 :); Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(1998 :); Kutrib, Martin.; Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
(書目-電子資源)
Developments in language theory25th International Conference DLT 2021, Porto, Portugal, August 16-20, 2021 : proceedings /
by:
(1998 :); Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Machine theory
Logics and Meanings of Programs.
Logic in AI.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Data Structures.
Database Management.
Formal methods (Computer science)
Computational complexity
Information Storage and Retrieval.
Computer Science Logic and Foundations of Programming.
Formal languages
Formal Languages and Automata Theory.
Computer Science.
Robotics
Computational Biology/Bioinformatics.