LEADER 01244nam0 2200289 i 450 
001 SUN0063390
005 20151120101600.498
010   $a05-213-9560-7
100   $a20080314d1987       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aLogic and computation$einteractive proof with Cambridge LCF$fLawrence C. Paulson
210   $aCambridge [etc.]$cCambridge university$d1987
215   $aXIII, 302 p.$d26 cm.
410  1$1001SUN0050059$12001 $aCambridge tracts in theoretical computer science$v2$1210  $aCambridge$cCambridge university.
606   $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949
606   $a68Txx$xArtificial intelligence [MSC 2020]$2MF$3SUNC021266
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $dCambridge$3SUNL000024
700  1$aPaulson$b, Lawrence C.$3SUNV050393$062096
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20210222$gRICA
912   $aSUN0063390
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   3177        $e08OM 162       I       20080314            $sDeteriorato
996   $aLogic and computation$91416011
997   $aUNICAMPANIA

LEADER 01029nam a2200265|i 4500
001 991003770929707536
005 20021223130556.0
008 020227s||||    it     u     u      itauu
020   $a8814083789
035   $ab11861629-39ule_inst
035   $aLE02988139$9ExL
040   $aISUFI - Sett. Diritti e Politiche Euromediterranee$bita
082 0 $a346.048
100 1 $aMansani, Luigi$0231683
245 13$aLa funzione di indicazione d'origine del marchio nell'ordinamento comunitario /$cLuigi Mansani
260 0 $aMilano :$bGiuffrè,$cc2000
300   $axii, 232 p. ;$c24 cm
490 0 $aQuaderni di Giurisprudenza commerciale ;$v210.
650  4$aMarchio
907   $a.b11861629$b28-04-17$c23-12-02
912   $a991003770929707536
945   $aLE029 QGC 210 C.2$g1$iLE029-3387$lle029$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i12114030$z23-12-02
996   $aFunzione di indicazione d'origine del marchio nell'ordinamento comunitario$9208010
997   $aUNISALENTO
998   $ale029$b01-01-02$cm$da  $e-$fita$git $h3$i1