Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Lali, M. Ikram Ullah"'
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
Autor:
Rauf, Hafiz Tayyab, Lali, M. Ikram Ullah, Zahoor, Saliha, Shah, Syed Zakir Hussain, Rehman, Abd Ur, Bukhari, Syed Ahmad Chan
Publikováno v:
In Computers and Electronics in Agriculture December 2019 167
Autor:
Sharif, Muhammad, Khan, Muhammad Attique, Iqbal, Zahid, Azam, Muhammad Faisal, Lali, M. Ikram Ullah, Javed, Muhammad Younus
Publikováno v:
In Computers and Electronics in Agriculture July 2018 150:220-234
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rauf, Hafiz Tayyab, Lali, M. Ikram Ullah, Khan, Muhammad Attique, Kadry, Seifedine, Alolaiyan, Hanan, Razaq, Abdul, Irfan, Rizwana
Publikováno v:
Personal & Ubiquitous Computing; Jun2023, Vol. 27 Issue 3, p733-750, 18p
Autor:
Nawaz, Muhammad Saqib, Sun, Meng, Shahzad, Basit, Lali, M. Ikram Ullah, Umer, Tariq, Wan, Shaohua
Publikováno v:
Transactions on Emerging Telecommunications Technologies; Aug2022, Vol. 33 Issue 8, p1-15, 15p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.