Resolution proof systems: an algebraic theory
Auteur :
Stachniak, Zbigniew
Éditeur :
Stachniak, Zbigniew
ISBN :
9780792340171
Date de publication :
30 avr. 1996
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
498 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.