Skrzypczak, Michał.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
Skrzypczak, Michał.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Developments in Language Theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings /
by:
Skrzypczak, Michał.; SpringerLink (Online service); Hofman, Piotrek.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Computer logic.
Algorithm Analysis and Problem Complexity.
Database management.
Artificial intelligence.
Software engineering.
Natural Language Processing (NLP).
Natural language processing (Computer science).
Logic in AI.
Computers.
Discrete Mathematics in Computer Science.
Algorithms.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Database Management.