TY  - RPRT
TI  - How the Theory of Computing Can Help in Space Exploration
AU  - Kreinovich, Vladik
AU  - Longpre, Luc
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20010000435
ID  - 20010000435
ER  -