検索結果 - "Formal Languages and Automata Theory"
関連のトピックス ...
関連のトピックス ...
- Computer science 24
- Artificial intelligence 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Software Engineering 19
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- Computer Modelling 5
- Computer simulation 5
- Algorithms 4
- Algorithms & data structures 4
- Computer networking & communications 4
- Computer networks 4
- Computer programming / software development 4
- Computers 3
- Electronic digital computers 3
- Evaluation 3
- Professions 3
- System Performance and Evaluation 3
- The Computing Profession 3
- Coding theory & cryptology 2
- Computer Communication Networks 2
- Computer Engineering and Networks 2
- Computer engineering 2
- Computer modelling & simulation 2
- Computer programming 2
- Databases 2
- Information retrieval 2
- Logic in AI 2
-
21
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
出版事項 2022主題: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
22
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
出版事項 2022主題: “…formal languages and automata theory…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
23
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
出版事項 2022主題: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
24
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
出版事項 2021主題: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
25
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
出版事項 2021主題: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
26
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
出版事項 2021主題: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
27
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
出版事項 2021主題: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
28
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
出版事項 2021主題: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
29
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
出版事項 2021主題: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章