海恩诺特在当时的所长斯托克（Stoker）指导下，于1949年获博士。1957年符号逻辑学会的夏季研讨班聚集了除哥德尔之外的所有逻辑学家，大家在康奈尔大学一起聚了四个星期...
基于947个网页-相关网页
Bram Stoker 布莱姆·斯托克 ; 斯托克 ; 史托克
mechanical stoker [机] 机械加煤机 ; 加煤机 ; 机动炉排 ; 机械加煤器
spreader stoker 抛煤机 ; 撒布式机械加煤机 ; 扩散加煤机 ; [机] 抛煤机炉排
overfeed stoker [机] 火上加煤机 ; 燃烧层上机械加煤机 ; 火山加煤机
chain grate stoker 链蓖式加煤机 ; 链栅式给煤器 ; [动力] 链式炉篦加煤机 ; 链蓖式燃烧室
Bram Stoker Award 史托克奖 ; 史铎克奖
automatic stoker [机] 自动加煤机
chief stoker 司炉 ; 生火长
aerofountain stoker 空气喷泉燃烧炉
N-COUNT In former times a stoker was a person whose job was to stoke fires, especially on a ship or a steam train. (旧时船上或蒸汽火车上的)司炉工
应用推荐