LDR 01465nam a2200337 a 4500 001 000000175426 003 CaOOAMICUS 005 20220909111941.0 008 220909s2012 it u000 u ita r 020 $a978-88-459-2741-6* 032 $aLibriCat 040 $aPUL$bita 041 1 $aita$heng 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 240 14$aThe universal computer :$bthe road from Leibniz to Turing /.$0(OLS)http://pul/title/104434 245 13$aIl calcolatore universale : $bda Leibniz a Turing / $cMartin Davis ; traduzione di Gianni Rigamonti. 250 $aNuova edizione ampliata. 260 $aMilano :$bAdelphi,$c2012. 300 $a327 p. ;$c20 cm 490 1 $aGli Adelphi ;$v423 650 4$aElaborazione automatica dei dati.$0(OLS)http://pul/subject/12704 650 4$aCalcolo automatico$xStoria.$0(OLS)http://pul/subject/46629 700 1 $aRigamonti, Gianni.$0(OLS)http://pul/name/704 830 4$aGli Adelphi ;$v423.$0(OLS)http://pul/title/101049 850 $aPUL 852 $aPUL$W1$xSL Cons. Gen., Altre Classi 3$y75$m004. 9 DAVMA 1$j199632$qDDC 21$B204352$CPULBib$Z2$F204352 $H135727 $82 941 1 $a9 996 $6020$a978-88-459-2741-6*$9(OLS)http://pul/number/168821 996 $6245$aIl calcolatore universale : $bda Leibniz a Turing / $9(OLS)http://pul/title/216866 996 $6260$aMilano :$bAdelphi$9(OLS)http://pul/publisher/51018