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