共 50 条
- [41] Non-elementary speed-ups in default reasoning QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 237 - 251
- [42] A NON-ELEMENTARY PROOF BY DIFFERENTIAL EQUATION FOR THE CENTRAL LIMIT THEOREM PAKISTAN JOURNAL OF STATISTICS, 2013, 29 (03): : 307 - 313
- [45] C*-SIMPLICITY FOR GROUPS WITH NON-ELEMENTARY CONVERGENCE GROUP ACTIONS HOUSTON JOURNAL OF MATHEMATICS, 2013, 39 (04): : 1291 - 1299
- [46] Non-elementary speed up for model checking synchronous perfect recall ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 1077 - +
- [48] Equivalent transformation of non-elementary arithmetics in automatic test input generation Beijing Youdian Daxue Xuebao, 4 (63-67):
- [49] Mathematical modeling of absorption accompanied by a non-elementary reversible chemical reaction CHEMICAL ENGINEERING RESEARCH & DESIGN, 2020, 157 (157): : 58 - 64