Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000177459 Date and Time of Latest Transaction 20090716221757.0 General Information 080209m19939999nyua 001 0 eng International Standard Book Number 019853745X (v.1) Cataloging Source DENG Local Call Number QA 76.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> Formatted Contents 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 Logic programming   Artificial intelligence   Logic, Symbolic and mathematical Added Entry - Personal Name Gabbay, Dov M., 1945-   Hogger, Christopher John.   Robinson, J.A., (John Alan) Collection Category FO Format Monograph Location UP DENG-II QA 76.63 H36 1993 UDEGB0015900 Reference [Room Use Only] E-ESEP-2303 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library II QA 76.63 H36 1993           Digital Copy Not Available          Add to Book Cart  |   Download MARC