共 50 条
- [44] POLYHEDRAL QUASIDIFFERENTIABILITY OF REAL-VALUED FUNCTIONS DOKLADY AKADEMII NAUK BELARUSI, 1992, 36 (05): : 393 - 397
- [49] Optimal abstraction on real-valued programs STATIC ANALYSIS, PROCEEDINGS, 2007, 4634 : 104 - 120
- [50] Inferability of recursive real-valued functions ALGORITHMIC LEARNING THEORY, 1997, 1316 : 18 - 31