decidability 可判定性
＞数理逻辑与数学基础＞证明论＞释义 decidability 可判定性 decidability 可判定性†
理论计算机科学 程序理论 释文 decidability 可判定性
- high vacuum insulation
- high-vacuum pump
- high vacuum system
- high velocity cloud
- high-velocity cloud
- high-velocity dwarf
- high velocity electrical arc wire spraying system
- high velocity flow
- high velocity/hypervelocity impact
- High velocity molecular outflow
- high-velocity object
- high velocity oxygen-fuel spray
- high velocity spatter bloodstains
- high-velocity star
- high-voltage accelerator
- high-voltage A.C.testing transformer
- high voltage apparatus of electric locomotive
- high voltage apparatus test
- high voltage capillary electrophoresis
- high voltage DC electrical power generating system
- high-voltage D.C.generator
- high voltage direct current system
- high voltage distribution device of hydropower station
- high voltage electrical
- high-voltage electrical energy meter