Automated Deduction – CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Descripción editorial
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.
GÉNERO
Informática e internet
PUBLICADO
2023
1 de septiembre
IDIOMA
EN
Inglés
EXTENSIÓN
617
Páginas
EDITORIAL
Springer Nature Switzerland
INFORMACIÓN DEL PROVEEDOR
Springer Science & Business Media LLC
TAMAÑO
52,3
MB