Lin, Anthony W.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
Potapov, Igor.; Zetzsche, Georg.; Lin, Anthony W.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Algorithms.
Computer science.
Computer Science Logic and Foundations of Programming.
Computer science—Mathematics.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Logic in AI.
Logic programming.
Machine theory.
Mathematics of Computing.
Software engineering.
Software Engineering.