LEADER 01033nam0-22003131i-450- 001 990006542460403321 005 20001010 035 $a000654246 035 $aFED01000654246 035 $a(Aleph)000654246FED01 035 $a000654246 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>adeguamento dell'ordinamento interno alla Convenzione di New York in materia di arbitrato$eprofili giurisprudenziali$fGiorgio Recchia 210 $as.l.$cs.e.$ds.d. 215 $a678 p.$d22 cm - 300 $aEstratto dalla rivista: "Rassegna di Diritto Pubblico", (1972), n. 4. 676 $a349.73 700 1$aRecchia,$bGiorgio$0239537 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006542460403321 952 $aBUSTA I C 52$b10785$fFSPBC 952 $aBUSTA I C 55$b883$fFSPBC 959 $aFSPBC 996 $aAdeguamento dell'ordinamento interno alla Convenzione di New York in materia di arbitrato$9619545 997 $aUNINA DB $aGEN01 LEADER 01570nam2-2200421li-450 001 990000204850203316 005 20180312154842.0 010 $a3-540-58450-1 035 $a0020485 035 $aUSA010020485 035 $a(ALEPH)000020485USA01 035 $a0020485 100 $a20001109d1994----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aHigher order logic theorem provingand its applications$e7th international workshop, Valletta, Malta, September 19-22, 1994$eproceedings$fThomas F. Melham (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994 215 $aIX, 470 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v859 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$avalletta$a1994 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1994 610 1 $alinguaggi di programmazione$acongressi$a1994 610 1 $alogica matematica$acongressi$a1994 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aMelham,$bThomas F. 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000204850203316 951 $a001 LNCS (859)$b0016384$c001$d00103661 959 $aBK 969 $aSCI 979 $c19950212 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010130$lUSA01$h1614 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aHigher order logic theorem provingand its applications$91489249 997 $aUNISA