recursive predicate 递归谓词
理论计算机科学 可计算性与计算复杂性 释文 recursive predicate 递归谓词
- amiable arbitration
- AMiBA
- amicable Hadamard matrix
- amicable number
- amicable pair
- amicable quadruple
- amicable triple
- amicarthiazol
- Amici crater
- Amici prism
- Amici prism (roof prism)
- amicron
- amidah
- amidase
- amidation
- amide
- amide nitrogen fertilizer
- amidine
- amidosulfuron
- amidoxime
- amidryl
- Amiens
- Amiens Cathedral
- amimo acid reabsorption
- A Min