عنوان
پدید آورنده
موضوع
رده
QA 76.63 .H36 1993
QA
76
.
63
.
H36
1993
کتابخانه
محل استقرار
English
Handbook of logic in artificial intelligence and logic programming
Oxford, Oxford, New York
Clarendon Press, Oxford University Press
c1993-1998
5 v.: ill.; 25 cm
1
2
3
Includes bibliographical references and indexes
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
R
1
1
1
v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming.
، Logic programming
، Artificial intelligence
، Logic, Symbolic and mathematical
QA
76
.
63
.
H36
1993
CA
006
.
3
TI
AU Gabbay, Dov M. 1945-
AU Hogger, Christopher John
AU Robinson, J. A. )John Alan(
