Fernández-Duque, David.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
Weiermann, Andreas.; Fernández-Duque, David.; Manea, Florin.; De Mol, Liesbeth.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
Weiermann, Andreas.; Fernández-Duque, David.; De Mol, Liesbeth.; Manea, Florin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Computer science—Mathematics.
Data Structures and Information Theory.
Artificial Intelligence.
Computer logic.
Artificial intelligence.
Information theory.
Computer science.
Theory of Computation.
Computers.
Mathematics of Computing.
Data structures (Computer science).
Logics and Meanings of Programs.
Algorithms.
Computer Science Logic and Foundations of Programming.