語系
Konstantinidis, Stavros.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Konstantinidis, Stavros.; SpringerLink (Online service); Pighizzini, Giovanni.
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
Konstantinidis, Stavros.; Jirásková, Galina.; SpringerLink (Online service); Hospodár, Michal.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /
by:
SpringerLink (Online service); Pighizzini, Giovanni.; Konstantinidis, Stavros.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Konstantinidis, Stavros.; SpringerLink (Online service)
(書目-語言資料,印刷品)
The role of theory in computer science = essays dedicated to Janusz Brzozowski /
by:
Konstantinidis, Stavros.; Brzozowski, Janusz A.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Language Translation and Linguistics.
Natural language processing (Computer science).
Robotics
Data Structures.
Data structures (Computer science).
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Formal languages
Database management.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Natural Language Processing (NLP).
Computer science.
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Machine theory
Computational Biology/Bioinformatics.
Computation by Abstract Devices.
Database Management.