Bicocca Open Archive

Logo unimib boa

Avellone, A., Benini, M., Moscato, U. (1999). Tactics for translation of tableau in natural deduction. In Proceedings of the 8th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (pp.17-31). Albany : University of Albany.

Tactics for translation of tableau in natural deduction

AVELLONE, ALESSANDRO;MOSCATO, UGO EMANUELE
1999
paper
ATP, logic, proof theory
English
8th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
1999
Proceedings of the 8th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
1999
TR99-1
17
31
none
Avellone, A., Benini, M., Moscato, U. (1999). Tactics for translation of tableau in natural deduction. In Proceedings of the 8th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (pp.17-31). Albany : University of Albany.
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/373
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact