[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Optimal non-deterministic functional logic computations
- 作者Hanus, Michael; Heering, Jan; Meinke, Karl
- 文件大小1080.68KB
- 发表时间1997
- DOI10.1007/BFb0027000
- 页码16-30
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Water Permeability Reduction in THF Hydrate-Bearing SedimentsShu, Shanzhi; He, Liangcai; Kai, Yao · 2019
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Research of Geopolymer Deal with the Strength of Soft Soil and Microstructure TestShu, Shanzhi; He, Liangcai; Kai, Yao · 2019
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Weathered Swelling Mudstone Landslide and Mitigation Measures in the Yanji Basin: A Case StudyShu, Shanzhi; He, Liangcai; Kai, Yao · 2019
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Equivalent FEM Meshes from Axisymmetric (AXID) to Three (3D) Dimensions Applied to Tunnels in ClayShu, Shanzhi; He, Liangcai; Kai, Yao · 2019
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Evaluation of Concrete Bored Piles Behaviour in Saturated Loose and Dense Sand During the Static Load TestingShu, Shanzhi; He, Liangcai; Kai, Yao · 2019
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Concept of a Geotechnical Solution to Address the Issues of Sea Water Intrusion in Ashtamudi Lake, KeralaShu, Shanzhi; He, Liangcai; Kai, Yao · 2019
[Sustainable Civil Infrastructures] New Developments in Materials for Infrastructure Sustainability and the Contemporary Issues in Geo-environmental Engineering (Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China) || Effect of the Seismic Vulnerability of Water Pipelines on the Collapsible Soils of the North of ChileShu, Shanzhi; He, Liangcai; Kai, Yao · 2019