Résultat de la recherche
Automated Reasoning with Analytic Tableaux and Related Methods
Anglais
27.09.2012
Livre de poche
Fr. 70.00 
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Anglais
14.07.2008
Livre Relié
Fr. 169.00 
Automated Reasoning with Analytic Tableaux and Related Methods
Anglais
28.05.2009
Livre de poche
Fr. 70.00