理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- canal surface
- canal system layout
- canal system structures
- canal waters granary
- canal water supply project in ancient China
- C-analytic space
- canard rotor/wing aircraft
- canaries
- Canaries current
- canary
- Canary Basin
- Canary Islanders
- Canary Islands
- canavanine
- Canberra
- can-can
- cancel an order
- cancellability
- cancellable element
- cancellation
- cancellation amplifier
- cancellation group
- cancellation groupoid
- cancellation law
- cancellation law for addition