Pauly, Arno.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
Della Vedova, Gianluca.; SpringerLink (Online service); Anselmo, Marcella.; Manea, Florin.; Pauly, Arno.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Revolutions and Revelations in Computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings /
by:
Manea, Florin.; Franklin, Johanna N. Y.; SpringerLink (Online service); Pauly, Arno.; Berger, Ulrich.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Information Systems and Communication Service.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Theory of Computation.
Computers.
Mathematics of Computing.
Mathematical Logic and Formal Languages.
Algorithms.