LEADER 01625nam2-2200445li-450 001 990000209850203316 005 20180312154650.0 010 $a3-540-64987-5 035 $a0020985 035 $aUSA010020985 035 $a(ALEPH)000020985USA01 035 $a0020985 100 $a20001109d1998----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTheorem proving in higher order logics$e11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings$fJim Grundy , Malcolm Newey (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1998 215 $aVIII, 496 p.$cill.$d20 cm 225 2 $aLecture notes in computer science$v1479 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$acanberra$a1998 610 1 $alogica matematica$acongressi$a1998 610 1 $alogica simbolica$acongressi$a1998 610 1 $amatematica applicata agli elaboratori$acongressi$a1998 676 $a0040151$9. 702 1$aGrundy,$bJim 702 1$aNewey,$bMalcolm 710 12$aInternational conference TPHOLs'98$d11.$eCanberra$f1998$0746199 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000209850203316 951 $a001 LNCS (1479)$b0022784$c001$d00104168 959 $aBK 969 $aSCI 979 $c19990318 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010207$lUSA01$h1506 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTheorem proving in higher order logics$91489178 997 $aUNISA LEADER 01710nam a22003135i 4500 001 991003309449707536 008 030520s2002 it 000 0 ita d 020 $a8814098395 035 $ab12408529-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0 $a323.40 100 1 $aLippolis, Laura$0230715 245 10$aDai diritti dell'uomo ai diritti dell'umanità /$cLaura Lippolis 260 $aMilano :$bA. Giuffrè,$c2002 300 $avii, 203 p. ;$c24 cm 440 0$aStudi giuridici.$pSezione di filosofia del diritto e della politica dell'Università degli studi di Lecce ;$v16 500 $aContiene riferimenti bibliografici 650 4$aDiritti dell'uomo 907 $a.b12408529$b02-04-14$c28-10-03 912 $a991003309449707536 945 $aLE007 320 LIP 01.01$g1$i2007000076729$lle007$nLE007-0406$nLE007-$o-$pE0.00$q-$rl$s- $t0$u5$v2$w5$x0$y.i13537301$z04-06-04 945 $aLE007 320 LIP 01.01 $g2$i2007000076736$lle007$nLE007-0406$nLE007-$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13537313$z04-06-04 945 $aLE007 320 LIP 01.01 $g3$i2007000076743$lle007$nLE007-0406$nLE007-$o-$pE0.00$q-$rl$s- $t0$u3$v1$w3$x0$y.i13537325$z04-06-04 945 $aLE007 320 LIP 01.01$g4$i2007000076750$lle007$nLE007-0406$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i13537349$z04-06-04 945 $aLE007 320 LIP 01.01 $g5$i2007000076767$lle007$nLE007-0406$o-$pE0.00$q-$rl$s- $t0$u2$v1$w2$x0$y.i13537350$z04-06-04 945 $aLE027 323.40 LIP01.01$g1$i2027000044375$lle027$o-$pE14.00$q-$rl$s- $t0$u9$v5$w9$x0$y.i12822887$z29-10-03 996 $aDai diritti dell'uomo ai diritti dell'umanità$9167813 997 $aUNISALENTO 998 $a(5)le007$ale027$b28-10-03$cm$da $e-$fita$git $h0$i6