Seguir
Zan Naeem
Zan Naeem
Research Engineer at QCRI
Email confirmado em hbku.edu.qa
Título
Citado por
Citado por
Ano
Sequoia: A Playground for Logicians: (System Description)
G Reis, Z Naeem, M Hashim
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
62020
Unification of multisets with multiple labelled multiset variables
Z Naeem, G Reis
33rd International Workshop on Unification (UNIF), 2019
12019
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–2