語系
Schmitz, Sylvain.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Implementation and Application of Automata (vol. # 3845)10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
by:
(1998 :); Farre, Jacques.; Litovsky, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(1998 :); Potapov, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Data Structures and Information Theory.
Machine theory
Logics and Meanings of Programs.
Mathematics of Computing.
Information Systems and Communication Service.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer systems
Computer science
Artificial Intelligence.
Computer Science.
Decidability (Mathematical logic)
Computer Systems Organization and Communication Networks.