This volume collects formally refereed papers that were accepted as “position papers” at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003) held on September 9-12, 2003 in Rome, Italy. Position papers present emerging trends and reports on work in progress. The volume contains also the abstracts of the tutorials offered at the conference.
Cialdea, M., Pirri, F. (a cura di). (2003). Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003). Aracne.
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003)
CIALDEA, Marta;
2003-01-01
Abstract
This volume collects formally refereed papers that were accepted as “position papers” at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003) held on September 9-12, 2003 in Rome, Italy. Position papers present emerging trends and reports on work in progress. The volume contains also the abstracts of the tutorials offered at the conference.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.