عنوان
پدید آورنده
موضوع
رده
QA 76.63 .H26
QA
76
.
63
.
H26
کتابخانه
محل استقرار
Handbook of logic in artificial intelligence and logic programming
Oxford
Clarendon Press
1998-c1993
5 v.: ill., tables
1
2
3
4
5
Oxford Science Publications
Includes bibliographies
ISBN 019853745X
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
R
1
1
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
.
H26
TI
AU Gabbay, Dov M., 1945-
AU Hogger, Christopher John
AU Robinson, John Alan
SE
