عنوان
پدید آورنده
موضوع
رده
QA,76.9,.A96I575
QA
,
76
.
9
,.
A96I575
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: تبریز
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Practical reasoning
ساير اطلاعات عنواني
International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
نام ساير پديدآوران
edited by Dov M. Gabbay, Hans Jurgen Ohlbach
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xv, 719 p.: ill.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Automatic theorem provingCongresses
عنصر شناسه ای
Practical reasonCongresses
عنصر شناسه ای
ReasoningCongresses
عنصر شناسه ای
Artificial intelligenceCongresses
رده بندی کنگره
شماره رده
QA
,
76
.
9
,.
A96I575
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International Conference on Formal and Applied Practical Reasoning (1996 :Bonn, Germany)
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Gabbay, Dov M.,1945-
عنصر شناسه اي
Ohlbach, Hans Jurgen.
عنصر شناسه اي
Title
عنصر شناسه اي
Series
