عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96W26 2009
QA
76
.
9
.
A96W26
2009
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Introduction to mathematical logic and resolution principle
نام نخستين پديدآور
Guo-Jun Wang, Hong-Jun Zhou
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Beijing
محل نشرو پخش و غیره
Oxford, U.K.
نام ناشر، پخش کننده و غيره
Science Press
نام ناشر، پخش کننده و غيره
Alpha Science
تاریخ نشرو بخش و غیره
c2009
مشخصات ظاهری
نام خاص و کميت اثر
viii, 335 p.: ill.
يادداشت کلی
متن يادداشت
Translation of : Shu li luo yin lun gui jie yuan li
متن يادداشت
Bibliography: p.]325[-326
متن يادداشت
ISBN: 1842655663
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Automatic theorem proving
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
9
.
A96W26
2009
سایر رده بندی ها
شماره رده
NO
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Wang, Guojun, 5391-
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Zhou, Hongjun
عنصر شناسه اي
TI
