006.33 / H192
Gabbay,Dov M.
       HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING / .- Clarendon Press,Oxford, 1993 .- xiii,518 .
Vol.1:Logical Foundations;Vol.2:Background:Computational Structures
ISBN: 019853745X
Subject Headings:
Computer Science;
Logic, Symbolic And Mathematics;
Artificial Intelligence;
Copy Details:
Acc. No.: A142653, Full Call No.: 006.33 H192, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------