[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - BliStrTune: hierarchical invention of theorem proving strategies
- 作者Jakubův, Jan; Urban, Josef
- 文件大小343.88KB
- 发表时间2017
- DOI10.1145/3018610.3018619
- 页码43-52
Microwave Discharge ChamberFukui, Shūji; Hayakawa, Satio · Journal of the Physical Society of Japan · 1960
Anomalous Thermal Expansion of CoS <sub/>2</sub>Kasai, Naoko · Journal of the Physical Society of Japan · 1973
Relativistic Shock WaveOhsawa, Yukiharu · Journal of the Physical Society of Japan · 1987
Wave Propagation in Anharmonic LatticesToda, Morikazu · Journal of the Physical Society of Japan · 1967
Electrical Properties of Stannous SelenideAsanabe, Sizuo · Journal of the Physical Society of Japan · 1959
Spin Damping MonopoleTakeuchi, Akihito; Tatara, Gen · Journal of the Physical Society of Japan · 2012
Physics of Molecular ConductorsFukuyama, Hidetoshi · Journal of the Physical Society of Japan · 2006
Accelerated Sampling of Boltzmann DistributionsOrland, Henri · Journal of the Physical Society of Japan · 2009