Theory and applications of satisfiability testing: 6th international conference, sat 2003. santa margherita ligure, italy, may 5-8, 2003, selected revised papers
Auteur :
Giunchiglia, Enrico
ISBN :
9783540208518
Date de publication :
26 janv. 2004
Dimensions :
23,3 x 15,5 x 2,8 cm
Poids :
760 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne