Languages
Pientka, Brigitte.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated deduction - CADE 29 = 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings /
by:
International Conference on Automated Deduction (2023 :); Pientka, Brigitte.; Tinelli, C.; SpringerLink (Online service)
(Electronic resources)