Formenti, Enrico.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Cellular automata technology = 4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6-8, 2025 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Das, Sukanta.; Kamilya, Supreeti.; Formenti, Enrico.
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
SpringerLink (Online service); Dediu, Adrian-Horia.; Formenti, Enrico.; Martín-Vide, Carlos.; Truthe, Bianca.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
Formenti, Enrico.; Bournez, Olivier.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Potapov, Igor.
(書目-語言資料,印刷品)
Machines, computations, and universality = 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024 : revised selected papers /
by:
Formenti, Enrico.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Durand-Lose, Jérôme.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Cellular automata
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Formal Languages and Automata Theory.
Logic in AI.
Computers.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Algorithms.
Mathematical Logic and Formal Languages.
Computer science
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.
Computational Intelligence.
Computer systems