Weiermann, Andreas.
概要
| 作品: | 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]
Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory /
by:
Schuster, Peter M.; SpringerLink (Online service); Seisenberger, Monika.; Weiermann, Andreas.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Data Structures and Information Theory.
Computer logic.
Artificial intelligence.
Information theory.
Theory of Computation.
Logic Design.
Graph Theory.
Mathematics of Computing.
Data structures (Computer science).
Logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Combinatorics.
Graph theory.
Artificial Intelligence.
Computer science.
Logic design.
Computers.
Computer Science Logic and Foundations of Programming.