Han, Yo-Sub.
概要
作品: | 0 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
Han, Yo-Sub.; SpringerLink (Online service); Vaszil, György.; DCFS (Workshop) (2022 :)
(書目-電子資源)
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
Han, Yo-Sub.; Salomaa, Kai.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings /
by:
DCFS (Workshop) (2021 :); Han, Yo-Sub.; Ko, Sang-Ki.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Data Structures.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Formal languages
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Robotics