LDR 01448nam a2200313 u 4500 001 000000079237 003 CaOOAMICUS 005 20070226123522.0 008 040528s1994 cau u000 u eng u 020 $a0122063821 035 $a10997167 040 $aPUL$bita 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 245 10$aComputability, complexity, and languages :$bfundamentals of Theoretical Computer Science /$cMartin D. Davis, Ron Sigal, Elaine J. Weyuker. 250 $a2.nd edition. 260 $aSan Diego :$bMorgan Kaufmann,$c1994. 300 $axix, 609 p. ;$c24 cm 490 1 $aComputer science and scientific computing 500 $aContiene indici. 650 4$aInformatica$xStudio e insegnamento.$0(OLS)http://pul/subject/27553 700 1 $aWeyuker, Elaine J.$0(OLS)http://pul/name/52781 700 1 $aSigal, Ron.$0(OLS)http://pul/name/52780 830 0$aComputer science and scientific computing.$0(OLS)http://pul/title/103744 850 $aPUL 852 $aPUL$W1$xSL Cons. Gen., Altre Classi 3$y75$m511. 3 DAVMA 1$j101440$nBK-PRI$qDDC 21$B101440$CPULBib$Z2$F101440 $HPUL88560 $82 941 1 $a9 996 $6020$a0122063821$9(OLS)http://pul/number/104069 996 $6245$aComputability, complexity, and languages :$bfundamentals of Theoretical Computer Science$9(OLS)http://pul/title/103743 996 $6260$aSan Diego :$bMorgan Kaufmann$9(OLS)http://pul/publisher/75584