عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Differentiation in logical form
نام نخستين پديدآور
by: Mehrdad Maleki
مشخصات ظاهری
نام خاص و کميت اثر
ix, ]185, 19[ p.: ill.
یادداشتهای مربوط به پایان نامه ها
نظم درجات
Ph.D.
کسي که مدرک را اعطا کرده
Institute for Research in Fundamental Sciences
کسي که مدرک را اعطا کرده
Tehran
زمان اعطا مدرک
1397
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic programming
عنصر شناسه ای
Computer logic
عنصر شناسه ای
Nonsmooth optimization
عنصر شناسه ای
Interval analysis )Mathematics(
عنصر شناسه ای
Automatic differentiation
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
^AMaleki, Mehrdad
