000			00771pam a2200205a 44500
008			160408b1998 xxu||||| |||| 00| 0 eng d
020			_a0198537921
082			_a006.33 _bH192
100			_aDov M. Gabbay,C. J. Hogger,J. A. Robinson
245	1		_aHANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
260			_a _bClarendon Press, Oxford _c1998
300			_axv,799
500			_aContents ; V.1 Logical Foundations V.2 Deduction Methodologies V.3 Nonmonotonic Reasoning And Uncertain Reasoning V.4 Epistmic And Temporal Reasoning V. 5 Logic Programming
650			_aLogic Programming
650			_aArtificial Intelligence
650			_aLogic, Symbolic And Mathematical
700			_aRobinson,J. A.
964			_gCIRC
997			_aA140519 C
999			_c345244 _d345244