Automated reasoning with analytic tableaux and related methods
Auteur :
Giese, Martin A.
ISBN :
9783642027154
Date de publication :
22 juin 2009
Dimensions :
23,5 x 15,5 x 2,0 cm
Poids :
545 g
Langue :
Anglais
Pays d'origine :
Allemagne