語系
Moreira, Nelma.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
SpringerLink (Online service); Moreira, Nelma.; Reis, Rogério.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
Delmas, David.; Oliveira, José N.; Farrell, Marie.; Campos, José.; Cerone, Antonio.; Moreira, Nelma.; Kutrib, Martin.; Dongol, Brijesh.; Luckcuck, Matt.; SpringerLink (Online service); Guidotti, Riccardo.; Marmsoler, Diego.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Astarte, Troy.; Sekerinski, Emil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
Reis, Rogerio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kutrib, Martin.; Moreira, Nelma.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
SpringerLink (Online service); Moreira, Nelma.; Reis, Rogério.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
SpringerLink (Online service); Moreira, Nelma.; Workshop on the Preservation of Stability under Discretization ((2001 :); Reis, Rogerio.
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
Oliveira, José N.; Delmas, David.; Campos, José.; Cerone, Antonio.; Farrell, Marie.; Dongol, Brijesh.; Moreira, Nelma.; Kutrib, Martin.; SpringerLink (Online service); Luckcuck, Matt.; Marmsoler, Diego.; Guidotti, Riccardo.; Couto, Luis.; Astarte, Troy.; Gonnord, Laure.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Computer System Implementation.
Artificial intelligence.
Software engineering.
Theory of Computation.
Natural language processing (Computer science).
Logic in AI.
Robotics
Data Structures.
Architecture, Computer.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Application software.
Logic programming.
Formal languages
Artificial Intelligence.
Database management.
Special Purpose and Application-Based Systems.
Computer Applications.
Natural Language Processing (NLP).
Computer science.
Machine theory.
Information Storage and Retrieval.
Computers.
Computational complexity
Machine theory
Computational Biology/Bioinformatics.
Computation by Abstract Devices.
Database Management.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Formal Languages and Automata Theory.