TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-38499-8
DO  - doi
AB  - 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.
T1  - Automated deduction -- CADE 29 :29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
AU  - Pientka, Brigitte,
AU  - Tinelli, C.
VL  - 14132
CN  - QA76.9.A96
N1  - Includes author index.
ID  - 1480676
KW  - Théorèmes
KW  - Logique symbolique et mathématique
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
SN  - 9783031384998
SN  - 3031384997
TI  - Automated deduction -- CADE 29 :29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
LK  - https://link.springer.com/10.1007/978-3-031-38499-8
UR  - https://link.springer.com/10.1007/978-3-031-38499-8
ER  -