Informativa      Aracneeditrice.it si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più
Accetto
Estratto da
COMPLEXITY OF COMPUTATIONAL AND PROOFS
Bounded Arithmetic and Constant Depth Frege Proofs
pagine: 153-174
DOI: 10.4399/97888799941325
data pubblicazione: Gennaio 2006
editore: Aracne