Handbook of logic in artificial intelligence and logic programming

상세정보

자료유형	단행본
서명/저자사항	Handbook of logic in artificial intelligence and logic programming/ edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.
개인저자	Gabbay, Dov M., 1945-. Hogger, Christopher John.  Robinson, J.A.  (John Alan)
발행사항	Oxford: Clarendon Press ; Oxford ; New York: Oxford University Press, 1993-<1995 >.
형태사항	v. <1-4 >: ill.; 25 cm.
ISBN	019853745X (v. 1) 0198537468 (v. 2) 0198537476 (v. 3) 0198537913 (v. 4)
서지주기	Includes bibliographical references and indexes.
내용주기	v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning.
일반주제명	Logic programming. Artificial intelligence. Logic, Symbolic and mathematical.
분류기호(DDC)	006.33
언어	영어