Resolution proof systems: an algebraic theory
Auteur :
Stachniak, Zbigniew
Éditeur :
Stachniak, Zbigniew
ISBN :
9789401072519
Date de publication :
1 oct. 2011
Dimensions :
24,0 x 16,0 cm
Poids :
371 g
Langue :
Anglais
Pays d'origine :
Bonaire, Saba