Data di Pubblicazione:
2025
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Ferrari, M.; Fiorentini, C.; Giardini, P.
Link alla scheda completa:
Titolo del libro:
Proceedings of the 40th Italian Conference on Computational Logic
Pubblicato in: