Automated deduction - a basis for applications volume i foundations - calculi and methods volume ii systems and implementation techniques volume iii applications
Auteur :
Bibel, Wolfgang
ISBN :
9789048150526
Date de publication :
8 déc. 2010
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
489 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Bonaire, Saba