＞数理逻辑与数学基础＞集合论＞释义 diagonalization; diagonal argument; diagonal method 对角线方法 diagonal argument 对角线方法† diagonal method 对角线方法†
理论计算机科学 可计算性与计算复杂性 释文 diagonalization 对角线方法
- A. Church
- A. Church (1903—1995)
- Achutan Ramachandran
- ACI
- acibenzolar-S-methyl
- aciclovir
- acicular crystal
- aciculisilva
- acid
- Acidalia Planitia
- acid amides poisoning
- acid anhydride
- acid-base balance of body fluid
- acid base buffer solution
- acid-base buffer solution
- acid base catalysis
- acid-base catalysis
- acid-base catalyst
- acid base equilibrium
- acid-base equilibrium
- acid-base equilibrium disturbance
- acid base indicator
- acid-base indicator
- acid base reaction
- acid-base reaction