DaftarIsitemplate

Call Number

005.1 Alg

Title

The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution, (LNCS-Lecture Notes in Computer Science 1023) Hal 269-285

Author

Shan-Hwei Nienhuys-Cheng; Ronald de Wolf;

Publisher

Springer, 1995

Subject

Location