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 metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
