LEADER 02425nam0 22003733i 450 001 SUN0093498 005 20151120101600.498 100 $a20130423d2003 |0engc50 ba 101 $aeng 102 $aIT 105 $a|||| ||||| 200 1 $aTheories for complexity classes and their propositional translations$fStephen Cook 205 $aRoma : Aracne$b2003 210 $d21 cm 215 $aEstratto da: Quaderni di matematica, n. 13 (2003), p. 175-228. 606 $aComplexity of proofs [MSC 2010] 03F20$2MF$3SUNC020911 606 $aComplexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15$2MF$3SUNC028792 620 $dRoma$3SUNL000360 700 1$aCook$b, Stephen$3SUNV075061$051873 712 $aAracne$3SUNV001104$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0093498 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7169 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7173 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7170 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7171 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7172 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7169$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7173$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7170$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7171$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7172$kCONS Estratto / 13$oc$qa 996 $aTheories for complexity classes and their propositional translations$91409007 997 $aUNICAMPANIA