LEADER 01081nam0-22003131i-450-
001 990007994140403321
005 20100712102852.0
035   $a000799414
035   $aFED01000799414
035   $a(Aleph)000799414FED01
035   $a000799414
100   $a20050128d1968----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $ay---n---101yy
200 1 $aLaw and policy making for trade among have and have not nations$ebackground paper and proceedings of the Eleventh Hammarskjold Forum$fStanley D. Metzger$g[edited by] John Carey
210   $aDobbs Ferry$cPublished for the Association of the Bar of the City of New York by Oceana Publications$d1968
215   $a118 p.$d24 cm
225 1 $a<<The >>Hammarskjold forums
676   $a341$v21$zita
702  1$aCarey,$bJohn
702  1$aMetzger,$bStanley D.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990007994140403321
952   $aX O 95 (11)$b95637$fFGBC
959   $aFGBC
996   $aLaw and policy making for trade among have and have not nations$9750132
997   $aUNINA

LEADER 02285nlm0 22006251i 450 
001 990009259460403321
010   $a9783642005152
035   $a000925946
035   $aFED01000925946
035   $a(Aleph)000925946FED01
035   $a000925946
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aLogic-Based Program Synthesis and Transformation$bRisorsa elettronica$e18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5438
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aHanus,$bMichael
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aMattern,$bFriedemann
702  1$aMitchell,$bJohn C.
702  1$aNaor,$bMoni
702  1$aNierstrasz,$bOscar
702  1$aPandu Rangan,$bC.
702  1$aSteffen,$bBernhard
702  1$aSudan,$bMadhu
702  1$aTerzopoulos,$bDemetri
702  1$aTygar,$bDoug
702  1$aVardi,$bMoshe Y.
702  1$aWeikum,$bGerhard
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-00515-2
901   $aEB
912   $a990009259460403321
961   $aAlgorithms
961   $aAlgorithms
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aLogic Based Program Synthesis and Transformation$9772041
997   $aUNINA