عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
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
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
