000 00608pam a2200217a 44500
005 20170117151603.0
008 160408bc1991 xxu||||| |||| 00| 0 eng d
020 _a0262510588
040 _cIITK
041 _aeng
082 _a006.3
_bAI93w
100 _aAit-Kaci, Hassan
245 1 _aWARREN'S ABSTRACT MACHINE
_cA TUTORIAL RECONSTRUCTION
_bHassan Ait-Kaci
260 _aCambridge
_bMIT Press
_c1991
300 _axvi,114p
440 _aLogic programming
650 _aProlog (Computer program language)
650 _aLogic programming
650 _aElectronic digital computers
942 _cBK
999 _c321952
_d321952