Automated Deduction – CADE 29 Automated Deduction – CADE 29

Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Brigitte Pientka & Cesare Tinelli

Publisher Description

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. 

GENRE
Computing & Internet
RELEASED
2023
1 September
LANGUAGE
EN
English
LENGTH
617
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
52.3
MB