LEADER 01140oam  2200277z- 450 
001 996466162603316
005 20130601075926.0
035   $a(CKB)1000000000234218
035   $a(EXLCZ)991000000000234218
100   $a20210330c1994uuuu  -u-            -
101 0 $aeng
200 10$aLogic program synthesis and transformation-- Meta-programming in Logic $e4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings /$fLaurent Fribourg, Franco Turini, (eds.)
210   $cSpringer Berlin Heidelberg
311   $a3-540-58792-6 
517   $aLogic Program Synthesis and Transformation â?? Meta-Programming in Logic
531   $aLOGIC PROGRAM SYNTHESIS & TRANSFORMATION  -  META-PROGRAMMING IN LOGIC
606   $aLogic programming$xCongresses
615  0$aLogic programming$xCongresses.
676   $a005.1/1
701   $aFribourg$b Laurent$0906321
701   $aTurini$b Franco$061996
712 12$aMETA '94$f(1994 :$ePisa, Italy)
906   $aBOOK
912   $a996466162603316
996   $aLogic Program Synthesis and Transformation ? Meta-Programming in Logic$92830424
997   $aUNISA

LEADER 01381nam a2200313 i 4500
001 991001626899707536
005 20020502203130.0
008 990104s1989    it            ||| | ita  
020   $a8839201289
035   $ab1154059x-39ule_inst
035   $aPRUMB64727$9ExL
040   $aDip. SSSC$bita
082 0 $a909.82
100 1 $aCazzaniga, Gian Mario$0125054
245 10$aTramonto dell'Occidente? :$batti del Convegno organizzato dall'Istituto italiano per gli studi filosofici e dalla Biblioteca comunale di Cattolica :$bCattolica, 19-21 maggio 1988 /$ca cura di Gian Mario Cazzaniga, Domenico Losurdo, Livio Sichirollo
260   $aUrbino :$bQuattro venti,$c1989
300   $a249 p. ;$c24 cm.
490 0 $aActa philosophica ;$v7
500   $aIn testa al front.: Istituto italiano per gli studi filosofici
650  4$aStoria$ySec. 20.$xCongressi$zCattolica$y1988
700 1 $aLosurdo, Domenico
700 1 $aSichirollo, Livio
907   $a.b1154059x$b01-03-17$c01-07-02
912   $a991001626899707536
945   $aLE021 NHA7$g1$i2021000023194$lle021$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i11739551$z01-07-02
945   $aLE027 909.82 CAZ01.01$g1$iLE027-12259$lle027$o-$pE20.66$q-$rl$s-  $t0$u0$v0$w0$x0$y.i12825335$z31-10-03
996   $aTramonto dell'Occidente?$9815771
997   $aUNISALENTO
998   $ale021$ale027$b01-01-99$cm$da  $e-$fita$git $h0$i1