Show simple item record

dc.date.accessioned2024-07-16T18:51:44Z
dc.date.available2024-07-16T18:51:44Z
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/92346
dc.typegrantor
oapen.relation.funds9211dcab-c58e-4d4d-8a97-b0f0bda2f816
oapen.relation.funds0b7c5bf9-4d74-4c9c-a69e-a0be8cc5bfea


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

  • Benzmüller, Christoph; Heule, Marijn J.H.; Schmidt, Renate A. (2024)
    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers ...
  • Benzmüller, Christoph; Heule, Marijn J.H.; Schmidt, Renate A. (2024)
    Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July ...