LEADER 01501nam2-2200409li-450 001 990000208620203316 005 20180312154714.0 010 $a3-540-65922-6 035 $a0020862 035 $aUSA010020862 035 $a(ALEPH)000020862USA01 035 $a0020862 100 $a20001109d1999----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aComputer science logic$eInternational workshop, CSL '98$eannual conference of the EACSL$eBrno, Czech Republic, August 24-28, 1998$eproceedings$fGeorg Gottlob ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1999 215 $aX, 429 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v1584 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$abrno (czech republic)$a1998 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1998 610 1 $alogica matematica$acongressi$a1998 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aGottlob,$bGeorg 710 12$aInternational workshop CSl '98$d12$eBrno$f1998$0746716 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000208620203316 951 $a001 LNCS (1584)$b0023627 959 $aBK 969 $aSCI 979 $c19990529 979 $c20001110$lUSA01$h1714 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aComputer science logic$91490860 997 $aUNISA LEADER 01076nam a2200265 i 4500 001 991002251239707536 005 20020503163043.0 008 000704s1928 it ||| | ita 035 $ab10337830-39ule_inst 035 $aEXGIL100751$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a780.7 100 1 $aDi Giacomo, Salvatore$03248 245 13$aIl conservatorio dei poveri di Gesù Cristo e quello di S. M. di Loreto /$cSalvatore di Giacomo 260 $aFirenze :$bSandron,$c1928 300 $a275 p., [7] c. di tav. :$bill. ;$c21 cm. 490 0 $aCollezione Settecento 650 4$aNapoli$xConservatorio dei poveri di Gesù Cristo 650 4$aNapoli$xConservatorio di Santa Maria di Loreto 907 $a.b10337830$b21-02-17$c27-06-02 912 $a991002251239707536 945 $aLE002 It. XV N 11$g1$i2002000662354$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i10396731$z27-06-02 996 $aConservatorio dei poveri di Gesù Cristo e quello di S. M. di Loreto$9199412 997 $aUNISALENTO 998 $ale002$b01-01-00$cm$da $e-$fita$git $h3$i1