@article{1480676,
      note = {Includes author index.},
      author = {Pientka, Brigitte, and Tinelli, C.},
      url = {http://library.usi.edu/record/1480676},
      title = {Automated deduction -- CADE 29 : 29th International  Conference on Automated Deduction, Rome, Italy, July 1-4,  2023, Proceedings /. International Conference on Automated  Deduction},
      abstract = {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.},
      doi = {https://doi.org/10.1007/978-3-031-38499-8},
      recid = {1480676},
      pages = {1 online resource (xxv, 592 pages) :},
}