[American Institute of Aeronautics and Astronautics AIAA Scitech 2020 Forum - Orlando, FL ()] AIAA Scitech 2020 Forum - A Multi-Disciplinary Approach to Design Long Range Guided Projectiles
- 作者Vasile, Joseph D.; Bryson, Joshua; Gruenwald, Benjamin C.; Fairfax, Luisa; Strohm, Luke; Fresconi, Frank
- 文件大小1769.81KB
- DOI10.2514/6.2020-1993
Normal derivability in modal logicJan von Plato · 2005
Finite partial exchangeabilityJan von Plato · 1991
The axioms of constructive geometryJan von Plato · 1995
Boltzmann's ergodic hypothesisJan von Plato · Archive for History of Exact Sciences · 1991
Reductive relations in interpretations of probabilityJan von Plato · Synthese · 1981
Permutability of rules in lattice theorySara Negri; Jan von Plato · Algebra Universalis · 2002
Natural deduction with general elimination rulesJan von Plato · Archive for Mathematical Logic · 2001
Rereading GentzenJan Von Plato · Synthese · 2003
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008