LEADER 01322nam0 22003373i 450 
001 UBO2785997
005 20240906063432.0
010   $a0262011239
100   $a20080218d1991    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aWarren's abstract machine$ea tutorial reconstruction$fHassan Aït-Kaci
210   $aCambridge$aLondon$cMIT Press$dc1991
215   $aXVI, 114 p.$cill.$d24 cm.
225 | $aLogic programming
410  0$1001UBO0009672$12001 $aLogic programming
606   $aProlog <linguaggio di programmazione>$2FIR$3UFIC000178$9I
606   $aProgrammazione logica$2FIR$3NAPC223491$9I
606   $aELABORATORI ELETTRONICI$xLinguaggio Prolog$2FIR$3NAPC009539$9I
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.3$9METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE$v22
700  1$aAït-Kaci$b, Hassan$f <1954-    >$3AQ1V002711$4070$0771998
801  3$aIT$bIT-NA0079$c20080218
850   $aIT-BN0095          
912   $aUBO2785997
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 006.3                   AIT.wa$e 0102 0000003785    B A4                    1 v.$f3 $h19930913$i19930913
977   $a 01
996   $aWarren's abstract machine$91575776
997   $aUNISANNIO