[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || A Machine-Verified Code Generator
- 作者Vardi, Moshe Y.; Voronkov, Andrei
- 文件大小300.91KB
- 发表时间2003
- DOI10.1007/978-3-540-39813-4_6
- 页码91-106
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Seismic Vulnerability and Risk Assessment of Historic Constructions: The Case of Masonry and Adobe Churches in Italy and ChileAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || The Response of Masonry Barrel Vaults to Repetitive Static and Dynamic Loads and Example of Rehabilitation of Historic Barrel VaultsAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || An Interdisciplinary Approach for the Seismic Vulnerability Assessment of Historic Masonry Buildings: The Case Study of the Ex Jesuits College in Amantea (Italy)Aguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Understanding Fire Safety of Historical BuildingsAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Seismic Assessment of the Matera CathedralAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Square Cross Vaults on Spreading SupportsAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || A Double Dome Through the AgesAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || La Sagrada Familia: Approaches to Seismic AnalysisAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Seismic Vulnerability of Old Italian Railway StationsAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Vulnerability Assessment of Monumental Masonry Structures Including UncertaintyAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019
[RILEM Bookseries] Structural Analysis of Historical Constructions Volume 18 (An Interdisciplinary Approach) || Numerical Study of NSM FRP Strengthened Masonry WallsAguilar, Rafael; Torrealva, Daniel; Moreira, Susana; Pando, Miguel A.; Ramos, Luis F. · 2019