LEADER 01297nam0 22003373i 450 
001 NAP0395448
005 20240712063033.0
010   $a0262691477
100   $a20080130d1991    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic programming$eproceedings of  the 1991 international symposium $fedited by Vijay Saraswat and Kazunori Ueda
210   $aCambridge (MA)$aLondon$cMIT press$d1991
215   $aXVIII, 740 p.$d23 cm.
225 | $aLogic programming
410  0$1001NAP0395441$12001 $aLogic programming
606   $aProgrammazione logica$xCongressi$x1991$2FIR$3NAPC223579$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
702  1$aUeda$b, Kazunori$3RMSV048374
702  1$aSaraswat$b, Vijay$3UBOV654814
710 12$aInternational logic programming symposium$f <1991$e ; San Diego>$3NAPV105559$4070$0770799
801  3$aIT$bIT-NA0079$c20080130
850   $aIT-BN0095          
912   $aNAP0395448
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   ISOLP$e 0102 0000011925    B A41991                1 v.$f3 $h20080130$i20080130
977   $a 01
996   $aLogic programming$91572911
997   $aUNISANNIO