Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Nawaz, M. Saqib"'
Publikováno v:
In International Journal of Biological Macromolecules October 2024 277 Part 1
Publikováno v:
In Computers in Biology and Medicine December 2024 183
Publikováno v:
In Computers in Industry August 2024 159-160
Publikováno v:
In Journal of King Saud University - Computer and Information Sciences June 2024 36(5)
Publikováno v:
In International Journal of Biological Macromolecules May 2024 266 Part 2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (also known as theorem provers) was to enable mathematicians to prove t
Externí odkaz:
http://arxiv.org/abs/1912.03028
Publikováno v:
In Computers in Biology and Medicine May 2023 158
Publikováno v:
In Computers & Security July 2022 118
Publikováno v:
Kybernetes, 2020, Vol. 50, Issue 5, pp. 1633-1653.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/K-05-2020-0258
Autor:
Aslam, Memoona1, Nawaz, M. Saqib2, Fournier-Viger, Philippe2, Li, Wenjin1 liwenjin@szu.edu.cn
Publikováno v:
COVID. Apr2023, Vol. 3 Issue 4, p452-471. 20p.