يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Zaid, Faried Abu"', وقت الاستعلام: 0.93s تنقيح النتائج
  1. 1
    تقرير
    VeriFlow: Modeling Distributions for Neural Network Verification

    المؤلفون: Zaid, Faried Abu, Neider, Daniel, Yalçıner, Mustafa

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation

    URL الوصول: http://arxiv.org/abs/2406.14265

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Definability of summation problems for Abelian groups and semigroups

    المؤلفون: Zaid, Faried Abu, Dawar, Anuj, Gradel, Erich, Pakusa, Wied

    المصدر: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-11 Jun, 2017

    Relation: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Model-Theoretic Properties of ω-Automatic Structures

    المؤلفون: Zaid, Faried Abu, Grädel, Erich, Kaiser, Łukasz, Pakusa, Wied

    المصدر: Theory of Computing Systems. November 2014 55(4):856-880

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء