Seguir
Zan Naeem
Zan Naeem
Research Engineer at QCRI
Dirección de correo verificada de hbku.edu.qa
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2