Automated search for Gödel’s proofs
- 作者Wilfried Sieg; Clinton Field
- 卷第133卷
- 印刷ISSN0168-0072
- 文件大小222.91KB
- 发表时间2005
- DOI10.1016/j.apal.2004.10.014
- 页码319-338
Comments on Chapter 12 of ‘‘Railway Noise and Vibration: Mechanisms, Modelling and Means of Control”, by D. Thompson (with contributions from C. Jones and P.-E. Gautier), Elsevier, 2009Victor V. Krylov · 2011
Reply to Comments on Chapter 12 of “Railway Noise and Vibration: Mechanisms, Modelling and Means of Control”, by D. Thompson (with contributions from C. Jones and P.-E. Gautier), Elsevier, 2009David Thompson; Chris Jones · 2011
Remarks on reply to comments on Chapter 12 of ‘‘Railway Noise and Vibration: Mechanisms, Modelling and Means of Control’’, by D. Thompson (with contributions from C. Jones and P.-E. Gautier), Elsevier, 2009Victor V. Krylov · 2011
Mirror hands and feet with a distinct nasal defect, an autosomal dominant conditionRick A. Martin; Marilyn C. Jones; Kenneth L. Jones · 1993
Delineation of the costello syndromeRick A. Martin; Kenneth Lyons Jones · 1991
TheLSunggil Kim; Rick Jones; Kil-Sun Yoo; Leonard M. Pike · 2005
Security Via Related DisciplinesJennifer Bayuk; Barry Horowitz; Rick Jones · 2012
Pompeii's Block of TimeRick Jones · Archaeology · 2003
Murray S. Blum:Schmidt, Justin; Aldrich, Jeff; Crewe, Robin; Duffield, Rick; Hefetz, Abraham; Jones, Tappey; Hinkle, Nancy · American Entomologist · 2015
Paul G. Allen (1953–2018)Horwitz, Rick; Jones, Allan; Daniel, Tom · Science · 2018
Reporting elder abuse: Limitations of statutesRick A Brewer; Jeffrey S Jones · 1989