Show simple item record

dc.date.accessioned2023-09-13T19:46:51Z
dc.date.available2023-09-13T19:46:51Z
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/76244
dc.typegrantor
oapen.relation.fundsc6e53cb1-4293-4d8e-b716-213b76df0c9e


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Funded publications

  • Pientka, Brigitte; Tinelli, Cesare (2023)
    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. The 28 full papers and 5 short papers presented ...