Proof-search in Hilbert calculi

Contributo in Atti di convegno

Data di Pubblicazione:

2017

Citazione:

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.

Tipologia IRIS:

03 - Contributo in volume

Keywords:

Computer Science (all)

Elenco autori: