000 00924nam a2200265zi 4500
005 20210817122056.0
008 970106s1991 a 000 0 eng
020 _a0262011239
_c(encuadernado en tela)
020 _a0-262-51058-8
_c(rustica)
035 _aMX001000565794
050 _aQA76.73P76
_bA37
100 0 _aAit-kaci, Hassan,
_d1954-,
_eautor
245 1 0 _aWarren's abstract machine :
_bA tutorial reconstruction /
_cHassan ait-kaci
300 _a114 páginas
490 0 _aLogic programming
650 _aProlog (Lenguaje de programación para computadora)
650 _aProgramación lógica
650 _aComputadoras electrónicas digitales
710 2 _aMassachusetts Institute of Technology
264 1 _aCambridge, massachusetts :
_bThe MIT Press,
_cc1991
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c21221
_d21221