Canlyniadau Chwilio - "Formal Languages and Automata Theory"
Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
- 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
-
1
Advances in Proof-Theoretic Semantics
Cyhoeddwyd 2016Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
2
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
Cyhoeddwyd 2021Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
3
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Cyhoeddwyd 2021Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
4
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Cyhoeddwyd 2023Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
5
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Cyhoeddwyd 2021Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
6
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Cyhoeddwyd 2021Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
7
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Cyhoeddwyd 2019Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
8
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Cyhoeddwyd 2018Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
9
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Cyhoeddwyd 2018Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
10
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...
Cyhoeddwyd 2021Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
11
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Cyhoeddwyd 2022Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
12
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Cyhoeddwyd 2023Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
13
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Cyhoeddwyd 2023Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
14
The Everyday Life of an Algorithm
Cyhoeddwyd 2019Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
15
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Cyhoeddwyd 2019Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
16
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Cyhoeddwyd 2019Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
17
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Cyhoeddwyd 2019Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
18
The Amazing Journey of Reason from DNA to Artificial Intelligence /
Cyhoeddwyd 2020Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
19
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Cyhoeddwyd 2019Pynciau: “...Formal Languages and Automata Theory....”
Link to Metadata
Electronig eLyfr -
20
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...
Cyhoeddwyd 2022Pynciau: “...formal languages and automata theory...”
DOAB: download the publication
DOAB: description of the publication
Electronig Pennod Llyfr