LEADER 01979nam0 22003493i 450 
001 AQ10012924
005 20250117062430.0
010   $a0387569448$bNew York
010   $a3540569448$bBerlin
100   $a20120120d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic programming and automated reasoning$e4. international conference, LPAR '93$eSt. Petersburg, Russia, July 13-20, 1993$eproceedings$fAndrei Voronkov (ed.)
210   $aBerlin [etc.]$cSpringer$dc1993
215   $aXIII, 386 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v698
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v698
606   $aProgrammazione logica$xCongressi$x1993$2FIR$3NAPC223597$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
702  1$aVoronkov$b, Andrei$f <1959-    >$3MILV089023
710 12$aInternational conference on logic programming and automated reasoning$d <4.$f ; 1993$e ; San Pietroburgo>$3AQ1V006979$4070$0714681
791 12$aInternational conference LPAR '93$d <4.$f ; 1993$e ; San Pietroburgo>$3NAPV120569$zInternational conference on logic programming and automated reasoning <4. ; 1993 ; San Pietroburgo>
801  3$aIT$bIT-NA0079$c20120120
850   $aIT-BN0095          
912   $aAQ10012924
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 0000013265    B A4(0698               v. 698$f3 $h19940912$i20120120
977   $a 01
996   $aLogic programming and automated reasoning$91382024
997   $aUNISANNIO