語系
Skrzypczak, Michal.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
Skrzypczak, Michal.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Developments in language theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings /
by:
SpringerLink (Online service); Hofman, Piotrek.; Workshop on the Preservation of Stability under Discretization ((2001 :); Skrzypczak, Michal.
(書目-語言資料,印刷品)
主題
Software Engineering.
Descriptive set theory.
Algorithm Analysis and Problem Complexity.
Formal languages
Electronic data processing
Data structures (Computer science)
Machine theory.
Logic in AI.
Logic design
Natural Language Processing (NLP)
Discrete Mathematics in Computer Science.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Computation by Abstract Devices.
Database Management.