Navigating Galileo at Jupiter Arrival
- 期刊名称Journal of Spacecraft and Rockets
- 作者Haw, R. J.; Antreasian, P. G.; McElrath, T. P.; Graat, E. J.; Nicholson�, F. T.
- 卷第34卷
- 期第4期
- 印刷ISSN0022-4650
- 电子ISSN1533-6794
- 文件大小203.02KB
- 发表时间1997-07
- DOI10.2514/2.3240
- 页码503-508
Notes and newsW. P. Van Stigt; D. Van Dalen · 1977
Abstracts of papersD. J. A. Crommelin'; F. van Dalen; G. F. A. Kersten; A. M. H. van der Put; T. Teerlink; E. C. Beuvery; A. H. de Boer; H. Vromans; C. F. Lerk; P. de Haan; M. F. Saettone; B. Giannaccini; L. Naber; H. W. Frijlink; A. J. M. Schoonen; F. Moolenaar; D. K. F. Meijer; J. Verhoeven; M. E. de Vries; H. E. Junginger · 1987
Intuitionistic Free Abelian GroupsD. van Dalen; F. J. De Vries · 1988
An interpretation of intuitionistic analysisD. van Dalen · 1978
AnnouncementD. van Dalen · 1986
Book reviewD. van Dalen · 1993-1994
Football Games In AntiquityDalen, D. B. Van; Sasajima, Kohsuke · Quest · 1965
How to glue analysis modelsVan Dalen, D. · The Journal of Symbolic Logic · 1984
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957