1985年（英国）

量子计算的数学理论框架

离散确定 计算范式 量子并行 强形丘奇 量子算法