理论计算机科学 程序理论 释文 type substitution 类型代换
- al-Bīrūnī
- al-Bīrūnī (973—约1050)
- Alcameon
- alcapton
- alcatron
- A. L. Cauchy
- A.-L. Cauchy
- A.-L. Cauchy (1789—1857)
- Alcazar Palace
- alchemical reaction
- alchemy
- Alchiba
- alchlor
- A. L. Cholesky
- A.-L. Cholesky
- A.-L. Cholesky (1875—1918)
- Alchrome
- Alcibiades
- Alcide Railliet
- Alcinous
- Al-clad
- Alcman
- Alcoa
- Alcock-Paczynski test
- alcogas