LEADER 01929nam0 22003373i 450 
001 MIL0138965
005 20250117062920.0
010   $a038755727X$bNew York
010   $a354055727X$bBerlin
100   $a20120112d1992    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic programming and automated reasoning$einternational conference LPAR '92$eSt. Petersburg, Russia, July 1992$eproceedings$fA. Voronkov (ed.)
210   $aBerlin [etc.]$cSpringer$dc1992
215   $aXIV, 509 p.$d25 cm.
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v624
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v624
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.3$9METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE$v22
702  1$aVoronkov$b, Andrei$f <1959-    >$3MILV089023
710 12$aInternational conference on logic programming and automated reasoning$d <3.$f ; 1992$e ; San Pietroburgo>$3MILV089211$4070$0714721
791 12$aInternational conference LPAR$d <3.$f ; 1992$e ; San Pietroburgo>$3AQ1V007346$zInternational conference on logic programming and automated reasoning <3. ; 1992 ; San Pietroburgo>
801  3$aIT$bIT-NA0079$c20120112
850   $aIT-BN0095          
912   $aMIL0138965
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 0000012345    B A4(0624               v. 624$f3 $h19940706$i20120112
977   $a 01
996   $aLogic programming and automated reasoning$91382065
997   $aUNISANNIO