Folgen
Zan Naeem
Zan Naeem
Research Engineer at QCRI
Bestätigte E-Mail-Adresse bei hbku.edu.qa
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2