Résultat de la recherche
Automated Reasoning with Analytic Tableaux and Related Methods
Anglais
01.01.2017
Livre de poche
Fr. 90.00
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Anglais
01.01.2009
Livre de poche
Fr. 135.00