IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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.

Proof-search in Hilbert calculi

C. Fiorentini;
2017
Computer Science (all)
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
ott-2017
http://ceur-ws.org/Vol-1949/
Book Part (author)
03 - Contributo in volume
File in questo prodotto:
File Dimensione Formato  
CILC2017.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 238.79 kB
Formato Adobe PDF
Visualizza/Apri
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/528954
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact