Mercury语言Mercury是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的,并在1995年4月8日发行。 Mercury是纯声明式逻辑编程语言。它有关于Prolo
湯馬士·密夫林最後,密夫林因意外捲入康威陰謀(英语:Conway Cabal)一案,而與華盛頓關係破裂。事緣華盛頓在費城落敗之後,霍雷肖·蓋茨卻在薩拉托加戰役大勝。使大陸議會及大陸軍內部都有人私下認為,蓋茨比華盛頓更適合出任大陸軍總司令一職。1777年10月,法國准將湯馬斯·康威(英语:Thomas Conway
U-159号潜艇 (1918年)2. 由Thomas, Keith; Magowan, Rachel翻译 (London: Conway Maritime Press). 1991. ISBN 0-85177-593-4. Robert Gardiner & Przemysław Budzbon (编). Conway's All
U-158号潜艇 (1918年)2. 由Thomas, Keith; Magowan, Rachel翻译 (London: Conway Maritime Press). 1991. ISBN 0-85177-593-4. Robert Gardiner & Przemysław Budzbon (编). Conway's All
U-4号潜艇 (1909年)Mine Warfare Vessels. German Warships 1815–1945 2. 由Thomas, Keith; Magowan, Rachel翻译 (London: Conway Maritime Press). 1991. ISBN 0-85177-593-4. Rössler