[Lecture Notes in Computer Science] Automated Deduction – CADE-19 Volume 2741 || The CADE-19 ATP System Competition
- 作者Baader, Franz
- 文件大小51.07KB
- 发表时间2003
- DOI10.1007/978-3-540-45085-6_25
- 页码295-296
Spectroscopy at very high pressures—XXV: The IR spectrum of ferrocene at high pressuresDavid M. Adams; Alan D. Williams · 1980
Spectroscopy at very high pressures. part 25. the infrared spectrum of ferrocene at high pressuresDavid M. Adams; Alan D. Williams · 1980
Vibrational spectroscopy at high pressures. Part 50. A Raman scattering study of MSCN (M = K, Rb, Cs, NH4) at high pressuresDavid M. Adams; Mark Pogson · 1988
Melting of a peridotite nodule at high pressures and high water pressuresKushiro, Ikuo; Syono, Yasuhiko; Akimoto, Syun-ichi · Journal of Geophysical Research · 1968
Vibrational spectroscopy at high pressures-an infrared and Raman study of lithium hydroxide monohydrate: hydrogen bond formation at high pressuresAdams, D M; Haines, J · Journal of Physics: Condensed Matter · 1991
Experimental methods at high pressures. II. A simple internal stirring system for very high pressuresLohmuller, Reiner E.; Tiltscher, Helmut · 1976
Electrophysical characteristics of several organic compounds at high pressures and high pressures combined with shearing strainsV. A. Zhorin; A. V. Maksimychev; A. T. Ponomarenko; N. S. Enikolopyan · 1979
at high pressures and high temperaturesImai, Motoharu; Hirano, Toshiyuki; Kikegawa, Takumi; Shimomura, Osamu · Physical Review B · 1998
All Entangled Quantum States Are NonlocalBuscemi, Francesco · Physical Review Letters · 2012
Spatial Pinning ControlFrasca, Mattia; Buscarino, Arturo; Rizzo, Alessandro; Fortuna, Luigi · Physical Review Letters · 2012
Entangled Granular MediaGravish, Nick; Franklin, Scott V.; Hu, David L.; Goldman, Daniel I. · Physical Review Letters · 2012
Quantum Degenerate Dipolar Fermi GasLu, Mingwu; Burdick, Nathaniel Q.; Lev, Benjamin L. · Physical Review Letters · 2012
Quantum Electron StarAllais, Andrea; McGreevy, John; Suh, S. Josephine · Physical Review Letters · 2012
Fluctuation Relation for HeatNoh, Jae Dong; Park, Jong-Min · Physical Review Letters · 2012
Pedestal Structure ModelCallen, J. D.; Canik, J. M.; Smith, S. P. · Physical Review Letters · 2012
Shaken Granular LasersFolli, Viola; Puglisi, Andrea; Leuzzi, Luca; Conti, Claudio · Physical Review Letters · 2012