006.33 / H192
Dov M. Gabbay,C. J. Hogger,J. A. Robinson
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
/
.- Clarendon Press, Oxford, 1998
.- xv,799 .
Contents ; 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
ISBN: 0198537921
Subject Headings:
Logic Programming;
Artificial Intelligence;
Logic, Symbolic And Mathematical;
Author Added Entry:
Robinson,J. A.;
Copy Details:
Acc. No.: A140519, Full Call No.: 006.33 H192, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------