LEADER 01467nam0 22003853i 450 001 RMS0081009 005 20251003044344.0 010 $a0262731053 100 $a20080130d1993 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aLogic programming$eproceedings of the tenth international conference on logic programming$fedited by David S. Warren 210 $aCambridge (Mass.)$cThe MIT press$d1993 215 $aXX, 854 p.$d23 cm 225 | $aLogic programming 410 0$1001NAP0395441$12001 $aLogic programming 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$aWarren$b, David S.$3AQ1V004541 710 12$aInternational conference on logic programming$d <10.$f ; 1993$e ; Budapest>$3RMSV038311$4070$0771639 801 3$aIT$bIT-000000$c20080130 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aRMS0081009 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1 ICLP$e 0102 0000017055 VMA A41993 1 v.$fY $h20080130$i20080130 977 $a 01 996 $aLogic programming$91574770 997 $aUNISANNIO