...ive complexity, definability, expressibility 1 [gap=367]关键词：Ehrenfeucht-FRA SSE游戏，团体，描述的复杂性，可定义性，表达性 ...
基于206个网页-相关网页
... 被定义的转差率 definierter schlupf defined slip 可被定义的状况 definability 没有分区被定义 no partitions defined ...
基于1个网页-相关网页
finite definability 有限可定义性
combinatory definability 组合可定义性
mutual definability 可互定义性
implicit definability [计] 隐含可定义性
combinatorial definability [数] 组合可定义性
Turing definability 图灵可定义性
defining definability 定义的可定义性
arithmetical definability 算术可定义性
应用推荐