Версии - Automated Deduction - CADE 29
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- Artificial intelligence 3
- Software Engineering 3
- Computer programming / software development 2
- Mathematical theory of computation 2
- Artificial Intelligence 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Software engineering 1
-
1
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Опубликовано 2023Link to Metadata
Электронный ресурс eКнига -
2
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Опубликовано 2023DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги -
3