NASA将论证天王星和海王星探测

机译：探索天王星和海王星的大气探测中的化学和同位素组成测量

机译：探测天王星和海王星的深度

机译：根据UKIRT / UIST观测结果修改的天王星垂直云结构以及2006年至2008年天王星北春分期间的变化：应用了新的甲烷吸收数据并与海王星进行了比较

机译：电动推进任务到天王星，海王星及其超越

机译：天王星和海王星大气中的云，霾和甲烷：对空间分辨的近红外光谱的分析。

机译：H3O在天王星和海王星磁场的极端条件下的稳定性和影响

机译：太空飞行手册第三卷行星飞行手册第七部分 - 直接轨迹到木星，土星，天王星和海王星补充B：直接轨迹到天王星和海王星的表格轨迹数据

机译：产品论证验证系统，论证对象，产品论证方法和特殊信息提供方法

机译：乘积[n]＆[m] f（h）乘积[m] f（2）的论证和乘数[n] f（2）的论证生成方法-金字塔乘数的“附加代码”用于后续逻辑解码f（CD？）的f（??）和格式中结果和的生成[S] f（2）-“附加代码”及其实现的功能结构（俄罗斯逻辑版本）

机译：乘法的并行加法器的功能结构，其中分产品的词法的论证是位置符号格式f（+/-）（版本）的三进制数f（+ 1,0，-1）的论证