Tableaux 2003
10,00 €
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. The research papers and system descriptions presented at the conference are published in “Automated Reasoning with Analytic Tableaux and Related Methods – International Conference, TABLEAUX 2003” (LNAI 2796, Springer 2003).Contributions by Seiki Akama, Alessandro Avellone, Magnus Björk, Agata Ciabattoni, Guido Fiorino, Martin Giese, Reiner Hähnle, Gerhard Lakemeyer, Carla Limongelli, Zohar Manna, Jair Minoro Abe, Ugo Moscato, Tetsuya Murai, Andrea Orlandini, Regimantas Pliuskevicius, Aida Pliuskeviciene, Valentina Poggioni, Henry B. Sipma, Jan von Plato, Dan E. Willard, Calogero G. Zarba
pagine: 124
formato: 17 x 24
ISBN: 978-88-7999-548-1
data pubblicazione: Gennaio 2006
editore: Aracne
Informativa si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più