理论计算机科学 程序理论 释文 non-determinism 不确定性
- Rima Billy
- Rima Birt
- Rima Brayley
- Rima Cauchy
- Rima Delisle
- Rima Diophantus
- Rima Draper
- Rimae Alphonsus
- Rimae Apollonius
- Rimae Archimedes
- Rimae Aristarchus
- Rimae Arzachel
- Rimae Atlas
- Rimae Bode
- Rimae Bürg
- Rimae Daniell
- Rimae Darwin
- Rimae Doppelmayer
- Rimae Fresnel
- Rimae Gassendi
- Rimae Grimaldi
- Rimae Gutenberg
- Rimae Hase
- Rimae Hevelius
- Rimae Hypatia