語系
Hague, Matthew.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
Potapov, Igor.; Hague, Matthew.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computing Methodologies.
Decidability (Mathematical logic)
Computer Science.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer systems