Volgen
Zan Naeem
Zan Naeem
Research Engineer at QCRI
Geverifieerd e-mailadres voor hbku.edu.qa
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2