000 00836nam a2200229 a 4500
008 040830m19939999^^^^^^^^^^^^^^000^0^eng^d
035 _aMX001000666018
050 _aQA76.63
_bH35
245 0 0 _aHandbook of logic in artificial intelligence and logic programming /
_cEd. by dov m. gabbay, and c. j. hogger and j. a. Robinson
264 1 _aOxford :
_bClarendon Press,
_c1993-9999
300 _avolúmenes
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
505 _aContenido: v. 1. logical foundations
650 _aProgramación lógica
650 _aInteligencia artificial
650 _aLógica simbólica y matemática
700 1 _aGabbay, Dov M.,
_d1945-
_eeditor
700 _aHogger, Christopher John,
_eeditor
700 _aRobinson, John Alan
_eeditor
999 _c5133
_d5133