عنوان
پدید آورنده
موضوع
رده
QA 76.63 .H36 1993
QA
76
.
63
.
H36
1993
کتابخانه
محل استقرار
74233
English
Handbook of logic in artificial intelligence and logic programming
Oxford : New York : Oxford University Press
Clarendon Press ; Oxford ;
1993-1998
5 v. :ill. ;25 cm
Includes bibliographical references and indexes.
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
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
TI
AU .M voD ,yabbaG ed. 1945-
AU nhoJ rehpotsirhC ,reggoH joint ed.
AU nalA nhoJ ,nosniboR joint ed.
مس علوه مرکزی پردیانابخکت
