LEADER 01098nam a2200253 u 4500
001 000000105849
003 CaOOAMICUS
005 20070627104517.0
008 070627s2006    nju          u000 u eng u
020   $a0-13-119774-6
040   $aPUL$bita$dLDB
100 1 $aSimonsen, Craig B.$0(OLS)http://pul/name/65017
245 10$aComputer-aided legal research (CALR) on Internet /$cCraig B. Simonsen, Christian R. Anderson.
250   $a2nd ed.
260   $aNew Jersey :$bPearson education,$cc2006.
300   $axxvi, 250 p. ;$c26 cm
650 14$aInformatica e diritto.$0(OLS)http://pul/subject/23615
700 1 $aAnderson, Christian R.$0(OLS)http://pul/name/65018
850   $aPUL
852   $aPUL$W1$xSL Diritto e Scienze Sociali 3$y79$m340. 023 SIMCR 1$j118897$qDDC 21$B118692$CPULBib$Z2$F118692        $H100918                        $82
941 1 $a9
996   $6020$a0-13-119774-6$9(OLS)http://pul/number/135025
996   $6245$aComputer-aided legal research (CALR) on Internet$9(OLS)http://pul/title/133243
996   $6260$aNew Jersey :$bPearson education$9(OLS)http://pul/publisher/79260

LEADER 01232nam a2200313 u 4500
001 000000073942
003 CaOOAMICUS
005 20070226122415.0
008 021127s1982    nyu          u000 u eng u
020   $a0486614719
035   $a10946100
040   $aPUL(R)$bita
100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980
245 10$aComputability & Unsolvability /$cMartin Davis ..
260   $aNew York :$bDover,$c1982.
300   $axxv, 248 p. ;$c20 cm
490 1 $aDover books on mathematics
500   $aContiene indice.
504   $a"References": p. 237-241.
650  4$aLogica matematica.$0(OLS)http://pul/subject/9225
650  4$aElaborazione automatica dei dati.$0(OLS)http://pul/subject/12704
830  0$aDover books on mathematics.$0(OLS)http://pul/title/97183
850   $aPUL
852   $aPUL$W1$xSL Religione 2$y84$mRH E2 64$j95480$nBK-PRI$b $qStampati altre collocazioni$B95480$CPULBib$Z2$F95480         $H                              $81
941 1 $a10
961   $aINV: 90352
996   $6020$a0486614719$9(OLS)http://pul/number/95558
996   $6245$aComputability & Unsolvability$9(OLS)http://pul/title/97182
996   $6260$aNew York :$bDover$9(OLS)http://pul/publisher/74426