語系
Beckmann, Arnold.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
Beckmann, Arnold.; Dimitracopoulos, Costas.; Lowe, Benedikt.; SpringerLink (Online service); Conference on Computability in Europe (2008 :)
(書目-語言資料,印刷品)
Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
Beckmann, Arnold.; SpringerLink (Online service); Jonoska, Natasa.; Bienvenu, Laurent.
(書目-電子資源)
Language, life, limits = 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
Beckmann, Arnold.; Csuhaj-Varju, Erzsebet.; Meer, Klaus.; SpringerLink (Online service)
(書目-電子資源)
Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
Beckmann, Arnold.; Mitrana, Victor.; Soskova, Mariya.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Computing Methodologies.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Algorithms
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Algorithms.
Computable functions
Computer science- Mathematics
Computable functions- Congresses.
Logic, Symbolic and mathematical- Congresses.
Computer Science.
Computational intelligence- Congresses.
Computational Biology/Bioinformatics.