Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000489102 Date and Time of Latest Transaction 20090717032933.0 General Information 080210s1993 us 000 eng International Standard Book Number 019853745X Language Code Eng Local Call Number QA76.63 H36 1993 Title Statement Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson Physical Description v. <1-4 > General Note v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning Subject Added Entry - Topical Term Artificial intelligence   Logic programming   Logic, Symbolic and mathematical Format Book Location UP DENG QA76.63 H36 1993 Regular Circulation UDEGB0015900 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library I QA76.63 H36 1993           Digital Copy Not Available          Add to Book Cart  |   Download MARC