LEADER 01197nam0 22003373i 450 
001 RMS1740935
005 20240816063029.0
010   $a0262161311
100   $a20080207d1992    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aTypes in logic programming$fedited by Frank Pfenning
210   $aCambridge (Mass.)$cThe MIT press$dİ1992
215   $aXVIII, 357 p.$d24 cm
225 | $aLogic programming
300   $aBibliografia: P. 333-357.
410  0$1001UBO0009672$12001 $aLogic programming
606   $aProgrammazione logica$2FIR$3NAPC223491$9I
606   $aElaboratori elettronici$xProgrammazione$2FIR$3NAPC000341$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
702  1$aPfenning$b, Frank$3AQ1V004008
801  3$aIT$bIT-NA0079$c20080207
850   $aIT-BN0095          
912   $aRMS1740935
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   TYPILP$e 0102 0000011955    B A4                    1 v.$f3 $h20080207$i20080207
977   $a 01
996   $aTypes in logic programming$91501702
997   $aUNISANNIO