Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Volume 1071 of Lecture Notes in Computer Science, Springer, 1996.
Conference: tableaux1996
@proceedings{tableaux:1996,
title = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings},
year = {1996},
researchr = {https://researchr.org/publication/tableaux%3A1996},
cites = {0},
citedby = {0},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings},
conference = {tableaux},
editor = {Pierangelo Miglioli and Ugo Moscato and Daniele Mundici and Mario Ornaghi},
volume = {1071},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61208-4},
}