Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)

A. Dovier, A. Formisano

•

Dovier, A.

•

Formisano, A.

2023

other

Archivio

https://hdl.handle.net/11390/1256924

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85164575389

https://ricerca.unityfvg.it/handle/11390/1256924

Diritti

metadata only access