[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Protocol verification in Nuprl
- 作者Hu, Alan J.; Vardi, Moshe Y.
- 文件大小798.85KB
- 发表时间1998
- DOI10.1007/BFb0028764
- 页码428-439
Long Continental Records from Lake Baikal ||Kashiwaya, Kenji · 2003
Crack Growth in Rail and InspectionKASHIWAYA, Kenji · Proceedings of the 1992 Annual Meeting of JSME/MMD · 2000
Theoretical investigation of the time variation of drainage densityKenji Kashiwaya · 1987
Age of long sediment cores from Lake BaikalKashiwaya, Kenji; Ochiai, Shinya; Sakai, Hideo; Kawai, Takayoshi · 2002
Earthquake-related geomorphic environment and pond sediment informationKenji Kashiwaya; Yoshikazu Tsuya; Takashi Okimura · 2004
Earth Surface Processes and Environmental Changes in East Asia ||Kashiwaya, Kenji; Shen, Ji; Kim, Ju Yong · 2015
[Environmental Earth Sciences] Geomorphology of Lake-Catchment Systems || IntroductionKashiwaya, Kenji · 2017
Periodic variations in late pleistocene speleothem abundance in BritainKenji Kashiwaya; Timothy C. Atkinson; Peter L. Smart · 1991