1998 Ieee International Conference on Systems, Man, and Cyberneticsсборник

Статьи, опубликованные в сборнике

---

• 
  • 1998 Telescope guidance via automatic theorem proving
  • Cherkashin E., Vassilyev S.
  • в сборнике 1998 Ieee International Conference on Systems, Man, and Cybernetics, том 5, с. 1439-1444