عنوان
پدید آورنده
موضوع
رده
Q۳۸۷ /ل۹ل۲ ۱۳۷۹
Q
۳۸۷
/
ل
۹
ل
۲ ۱۳۷۹
کتابخانه
محل استقرار
0262122324
غ۱۶/۱۱
The logic of knowledge bases
/ Hector J. Levesque and Gerhard Lakemeyer
Cambridge
: The MIT Press
, 2000 = 1379.
xvii، ۲۸۲ ص.
مصور، نمودار
کتابنامه: ص. [۲۷۵]-۲۸۰
لاجیک آو نالج بسز
شناخت نمایی (نظریه اطلاعات)
سیستمهای خبره (کامپیوتر)
منطق ریاضی
۰۰۶
/
۳۳۲
Q
۳۸۷
/
ل
۹
ل
۲ ۱۳۷۹
لوسک، هکتور، ۱۹۵۱ - م
Levesque, Hector J.
لیک مایر، گرهارد، Lake meyer, Gerhard
عنوانThe logic of knowledge bases :
old catalog
