Showing 1 - 3 results of 3 for search 'Tinelli, Cesare', query time: 0.03s
Refine Results
-
1
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Other Authors: Link to Metadata
Electronic eBook -
2
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Other Authors: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Other Authors: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter