LEADER 01885nam0 22003973i 450 
001 AQ10007603
005 20251003044041.0
010   $a0387582169$bNew York
010   $a3540582169$bBerlin
100   $a20120120d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aLogic programming and automated reasoning$e5. international conference, LPAR '94$eKiev, Ukraine, July 16-22, 1994$eproceedings$fFrank Pfenning (ed.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aX, 344 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v822
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v822
606   $aProgrammazione logica$xCongressi$x1994$2FIR$3NAPC259308$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
696   $aConvegni$aCongressi e convegni
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
702  1$aPfenning$b, Frank$3AQ1V004008
710 12$aInternational conference LPAR '94$d <5.$f ; 1994$e ; Kiev>$3AQ1V004007$4070$0714641
791 12$aInternational conference on logic programming and automated reasoning$d <5.$f ; 1994$e ; Kiev>$3AQ1V004009$zInternational conference LPAR '94 <5. ; 1994 ; Kiev>
801  3$aIT$bIT-000000$c20120120
850   $aIT-BN0095          
912   $aAQ10007603
950  0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL.     ING                     LNAI$e 0102 0000022395  VMA A4(0822               v. 822$fY $h19960219$i20120120
977   $a 01
996   $aLogic programming and automated reasoning$91381980
997   $aUNISANNIO