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]
主題
Software Engineering.
Computer science—Mathematics.
Logic programming.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Software engineering.
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer science.
Machine theory.
Logic in AI.
Mathematics of Computing.