Data di Pubblicazione:
2023
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Link alla scheda completa:
Titolo del libro:
Proceedings of LOPSTR 2023 International Symposium on Logic-Based Program Synthesis and Transformation