عنوان
پدید آورنده
موضوع
رده
Q۳۸۷ /و۴آ۲ ۱۳۸۸
Q
۳۸۷
/
و
۴
آ
۲ ۱۳۸۸
کتابخانه
محل استقرار
شابک
شابک
978-3-89838-324-0
شماره کتابشناسی ملی
شماره
۳۲۵۶۹۹۴
عنوان و نام پديدآور
عنوان اصلي
Automated deduction for projection elimination
نام نخستين پديدآور
/ Vhristoph Wernhard.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg
نام ناشر، پخش کننده و غيره
: AKA
تاریخ نشرو بخش و غیره
= 1388.
مشخصات ظاهری
نام خاص و کميت اثر
x ۲۸۳ص.
يادداشت کلی
متن يادداشت
انگلیسی.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه: ص. [۲۴۹]-۲۵۶.
متن يادداشت
نمایه.
آوانویسی عنوان
آوانویسی عنوان
آتومیتد...
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
شناخت‌نمایی (نظریه اطلاعات)
عنصر شناسه ای
معنی‌شناسی
رده بندی ديویی
شماره
۰۰۶
/
۳۳۲
رده بندی کنگره
شماره رده
Q
۳۸۷
نشانه اثر
/
و
۴
آ
۲ ۱۳۸۸
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
ورنهارد
عنصر شناسه اي
Wernhard
ساير عناصر نام
، کریستوف
ساير عناصر نام
, Christoph
