語系
Beckmann, Arnold.
概要
| 作品: | 1 作品在 4 項出版品 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.; Jonoska, Natasa.; SpringerLink (Online service); 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.; SpringerLink (Online service); Meer, Klaus.
(書目-電子資源)
Crossroads of computability and logic = insights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings /
by:
Beckmann, Arnold.; SpringerLink (Online service); Conference on Computability and Logic (2025 :); Oitavem, Isabel.; Manea, Florin.
(書目-電子資源)
Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
Beckmann, Arnold.; SpringerLink (Online service); Mitrana, Victor.; Soskova, Mariya.
(書目-語言資料,印刷品)
主題
Computing Methodologies.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
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.
Formal Languages and Automata Theory.
Computer Science.
Design and Analysis of Algorithms.
Computational intelligence- Congresses.
Computational Biology/Bioinformatics.