Filteren
Sorteren
2 resultaten
paperbackEngels9783540289319
5-9-2005
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember14–17,2005inKoblenz,Germany. Meer
GebondenEngels9783111264110