LEADER 02012nam0 22003613i 450 
001 AQ10007112
005 20240712062440.0
010   $a0387580255$bNew York
010   $a3540580255$bBerlin
100   $a20120123d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aExtensions of logic programming$e4. international workshop, ELP '93$eSt. Andrews, U.K., March 29 - April 1, 1993$eproceedings$fRoy Dyckhoff (ed.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aVIII, 360 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v798
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v798
606   $aProgrammazione logica$xCongressi$x1993$2FIR$3NAPC223597$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
702  1$aDyckhoff$b, Roy$f <1948-    >$3AQ1V003716
710 12$aInternational workshop ELP '93$d <4.$f ; 1993$e ; St Andrews>$3AQ1V003715$4070$0714627
791 12$aInternational workshop on extensions of logic programming$d <4.$f ; 1993$e ; Saint Andrews>$3AQ1V003717$zInternational workshop ELP '93 <4. ; 1993 ; St Andrews>
791 12$aWELP '93$d <4.$f ; 1993$e ; St.Andrews>$3AQ1V003718$zInternational workshop ELP '93 <4. ; 1993 ; St Andrews>
801  3$aIT$bIT-NA0079$c20120123
850   $aIT-BN0095          
912   $aAQ10007112
950  0$aBiblioteca Centralizzata di Ateneo$bv. 475;617;624;633;659-660;667;671;679;681;689;695;698-699;723;727-728;743-746;754;764;766;770;784;795;798;804;808;810;814;822;827;830;833;835;837-838;861-862;867$c43 v.$d 01COLL.     ING                     LNAI$e 0102 0000022305    B A4(0798               v. 798$f3 $h19960219$i20120123
977   $a 01
996   $aExtensions of logic programming$91381965
997   $aUNISANNIO