Proof-search in Hilbert calculi / F. Mauro, C. Fiorentini, F. Guido (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2017 and CILC 2017 / [a cura di] D. Della Monica, A. Murano, S. Rubin, L. Sauro. - Prima edizione. - [s.l] : CEUR-WS, 2017 Oct. - pp. 301-305 (( Intervento presentato al 18. convegno Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic tenutosi a Napoli nel 2017.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
CILC2017.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
238.79 kB
Formato
Adobe PDF
|
238.79 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
