... impredicative set theory 非断言集论 impredicative 非断言的 imprimitive group 非本原群 ...
基于16个网页-相关网页
非断言性的 non-assertive
·2,447,543篇论文数据，部分数据来源于NoteExpress
这种方法是纠缠的代码的一个活生生的例子：它混合了业务逻辑代码与断言所需的非功能代码。
This approach is a vivid example of tangled code: it mixes business-logic code with the nonfunctional code that assertions require.
youdao
应用推荐
模块上移
模块下移
不移动