عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
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
