Filteren
Sorteren
1 resultaat
paperbackEngels9783540730989
21-6-2007
This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. Meer