000 nam a22 7a 4500
999 _c144312
_d144310
005 20180917084735.0
008 180917b nyu||||| |||| 00| 0 eng d
020 _a0198596715
020 _a0198596596
050 0 4 _aQA76.73.P76
_bG53 1988
100 1 _aGibbins, Peter
245 1 0 _aLogic with Prolog
_c/ Peter Gibbins.
250 _a1a ed.
260 _aNew York, NY. :
_bOxford,
_c1988
300 _axiv, 321 p. :
_bil. ;
_c21 cm.
490 0 _aOxford applied mathematics and computing science series
504 _aIncluye bibliografía e índice
650 7 _2lemb
_aProgramación lógica
650 7 _2lemb
_aProlog (Lenguaje de programación de computadores)
942 _2lcc
_cLIB