عنوان
پدید آورنده
موضوع
رده
QA 76.63 .H36 1993
QA
76
.
63
.
H36
1993
کتابخانه
محل استقرار
CE
Handbook of logic in artificial intelligence and logic programming
Oxford
Clarendon Press
1993-
v. : ill
Includes bibliographical references and indexes
Logic programming
Artificial intelligence
Logic, Symbolic and mathematical
QA
76
.
63
.
H36
1993
TI
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
English
