LEADER 01982nam0 22003973i 450 001 AQ10012924 005 20250711043848.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 183 1$6z01$anc$2RDAcarrier 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 696 $aConvegni$aCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 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-000000$c20120120 850 $aIT-BN0095 912 $aAQ10012924 950 0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL. ING LNAI$e 0102 0000013265 VMA A4(0698 v. 698$fY $h19940912$i20120120 977 $a 01 996 $aLogic programming and automated reasoning$91382024 997 $aUNISANNIO