Manea, Florin.
概要
| 作品: | 2 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Combinatorics on words10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(1998 :); Manea, Florin.; Nowotka, Dirk.; SpringerLink (Online service)
(書目-電子資源)
Crossroads of computability and logicinsights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings /
by:
(1998 :); Beckmann, Arnold.; Manea, Florin.; Oitavem, Isabel.; SpringerLink (Online service)
(書目-電子資源)
Developments in language theory28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings /
by:
(1998 :); Day, Joel D.; Manea, Florin.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 : proceedings /
by:
(1998 :); Campeanu, Cezar.; Manea, Florin.; Shallit, Jeffrey.; SpringerLink (Online service)
(書目-電子資源)
Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(1998 :); Kari, Jarkko.; Manea, Florin.; Petre, Ion.; SpringerLink (Online service)
(書目-電子資源)
Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(1998 :); Manea, Florin.; Miller, Russell G.; Nowotka, Dirk.; SpringerLink (Online service)
(書目-電子資源)
Computing with foresight and industry15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings /
by:
(1998 :); Manea, Florin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Software Engineering.
Natural Language Processing (NLP)
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Mathematics of Computing.
Logic in AI.
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Algorithms
Computers.
Pattern perception.
Data Structures.
Computable functions
Formal methods (Computer science)
Algorithms.
Numeric Computing.
Formal languages
Combinatorial analysis
Word problems (Mathematics)
Computer science
Formal Languages and Automata Theory.
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Biology
Computer science.
Design and Analysis of Algorithms.
Information theory
Artificial intelligence.