Beame, P. W., Buss, S. R., & Buss, S. R. (1998). Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996. Providence: American Mathematical Society.
Παραπομπή Chicago StyleBeame, Paul W., Samuel R. Buss, and Samuel R. Buss. Proof Complexity and Feasible Arithmetics: DIMACS Workshop, April 21-24, 1996. Providence: American Mathematical Society, 1998.
Παραπομπή MLABeame, Paul W., Samuel R. Buss, and Samuel R. Buss. Proof Complexity and Feasible Arithmetics: DIMACS Workshop, April 21-24, 1996. Providence: American Mathematical Society, 1998.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.