A higher-order removal method
Higher-Order and Symbolic Computation
محفوظ في:
المؤلفون الرئيسيون: | Chin, W.-N., Darlington, J. |
---|---|
مؤلفون آخرون: | INFORMATION SYSTEMS & COMPUTER SCIENCE |
التنسيق: | مقال |
منشور في: |
2014
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/99157 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | National University of Singapore |
مواد مشابهة
-
Theta products and eta quotients of level 24 and weight 2
بواسطة: Alaca, Ayşe, وآخرون
منشور في: (2017) -
Monadic second-order incorrectness logic for GP 2
بواسطة: POSKITT, Christopher M., وآخرون
منشور في: (2023) -
Higher Order Bias Correcting Moment Equation for M-Estimation and Its Higher Order Efficiency
بواسطة: KIM, Kyoo-il
منشور في: (2006) -
Type-directed weaving of aspects for higher-order functional languages
بواسطة: Wang, M., وآخرون
منشور في: (2013) -
Upper and lower solutions method for higher order discrete boundary value problems
بواسطة: Agarwal, R.P., وآخرون
منشور في: (2014)