Computation, Proof, Machine (Mathematics Enters A New Age) || Predicate Logic
- 作者Dowek, Gilles; Guillot, Pierre; Roman, Marion
- 期第3期
- 文件大小111.17KB
- 发表时间2015
- DOI10.1017/cbo9781139026581.004
- 页码31-43
Image analysis and simulation software in transmission electron microscopyStadelmann, P · Microscopy and microanalysis : the official journal of Microscopy Society of America, Microbeam Analysis Society, Microscopical Society of Canada · 2003
Surface Microanalysis with Slow ElectronsBauer, Ernst G. · Microscopy and Microanalysis · 2006
Scientific ProgramMicroscopy and Microanalysis · 2008
Nanogenerators and NanopiezotronicsWang, ZL · Microscopy and Microanalysis · 2009
Trichomonads under MicroscopyBenchimol, Marlene · Microscopy and Microanalysis · 2004
Electron Microscopic Studies with GrapheneMeyer, J; Chuvilin, A; Kaiser, U · Microscopy and Microanalysis · 2009
Stress Whitening Morphology of Multiphase PolypropyleneWestphal, S · Microscopy and Microanalysis · 2006
Aberration-Corrected Lorentz MicroscopyNuhfer, NT; Budruk, A; De Graef, M · Microscopy and Microanalysis · 2010