Bicocca Open Archive

Logo unimib boa

Ferrari, M., Fiorentini, C., Fiorino, G. (2017). Proof-search in Hilbert calculi. In Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017 (pp.301-305). CEUR-WS.

Proof-search in Hilbert calculi

Fiorino, G.
2017
paper
Automated Theorem Proving; Propositional Classical Logic; Hilbert Calculi
English
32nd Italian Conference on Computational Logic
2017
Della Monica, D; Murano, A; Rubin, S; Sauro, L
Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017
CEUR WORKSHOP PROCEEDINGS
2017
1949
301
305
http://ceur-ws.org/Vol-1949/CILCpaper06.pdf
none
Ferrari, M., Fiorentini, C., Fiorino, G. (2017). Proof-search in Hilbert calculi. In Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017 (pp.301-305). CEUR-WS.
02 - Intervento a convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/10281/178679
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact