Title of article :
Translation of resolution proofs into short first-order proofs without choice axioms
Author/Authors :
Hans de Nivelle، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
Skolemization , Theorem Proving , Proof theory
Journal title :
Information and Computation
Journal title :
Information and Computation
