Related Books
Language: en
Pages: 474
Pages: 474
Type: BOOK - Published: 2019-06-11 - Publisher: Springer
This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques
Language: en
Pages:
Pages:
Type: BOOK - Published: 2019 - Publisher:
"This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2022-08-18 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 20th International Conference on Computational Methods in Systems Biology, CMSB 2022, held in Bucharest, R
Language: en
Pages: 270
Pages: 270
Type: BOOK - Published: 2020-11-07 - Publisher: Springer Nature
This book collects the proceedings of the International Congress on Health Sciences and Medical Technologies (ICHSMT), held in Tlemcen, Algeria, from December 5
Language: en
Pages: 298
Pages: 298
Type: BOOK - Published: 2021-12-02 - Publisher: Springer Nature
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2
