Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Редактирование: | 1st ed. 2023. |
| Серии: | Lecture Notes in Artificial Intelligence,
14132 |
| Предметы: | |
| Online-ссылка: | Link to Metadata |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Search Result 1
Search Result 2
DOAB: description of the publication
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Опубликовано 2023
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс
Глава книги