Proof-Search in Natural Deduction Calculus for Classical Propositional Logic / M. Ferrari, C. Fiorentini (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Reasoning with Analytic Tableaux and Related Methods / [a cura di] H. de Nivelle. - Switzerland : Springer, 2015. - ISBN 9783319243115. - pp. 237-252 (( Intervento presentato al 24. convegno Tableaux 2015 : Automated Reasoning with Analytic Tableaux and Related Methods tenutosi a Wroclaw, Poland nel 2015 [10.1007/978-3-319-24312-2_17].
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2015_tableaux.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
451.53 kB
Formato
Adobe PDF
|
451.53 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
