000 00523nam a22001691a 4500
020 _a9780198537465
082 _a153.43
_bDOV/H
245 _aHandbook of logic in artificial intelligence and logic programming (v.2):
_bdeduction methodologies/
_cby Dov M Gabbay (ed.)
260 _aNew York:
_bOxford University Press,
_c1996.
300 _a511p.
650 _aLogic Deduction
650 _aArtificial Intelligence
650 _aPhilosophy
700 _aHogger C J (ed.)
700 _aDov M Gabbay (ed.)
942 _cREF
999 _c16957
_d16957