Sürümler - Automated Reasoning with Analytic Tableaux and Related Methods
Önerilen Konular
Önerilen Konular
- Artificial intelligence 3
- Software Engineering 3
- Algorithms & data structures 2
- Computer programming / software development 2
- Mathematical theory of computation 2
- Systems analysis & design 2
- Artificial Intelligence 1
- Computer Science Logic and Foundations of Programming 1
- Computer System Implementation 1
- Computer science 1
- Computer systems 1
- Control Structures and Microprogramming 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Microprogramming 1
- Software engineering 1
-
1
-
2
-
3
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Baskı/Yayın Bilgisi 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü