يعرض 1 - 10 نتائج من 326 نتيجة بحث عن '"Universal quantifier"', وقت الاستعلام: 0.91s تنقيح النتائج
  1. 1
    دورية أكاديمية
  2. 2
    كتاب إلكتروني

    المؤلفون: Sato, YuriAff13, Mineshima, KojiAff14

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Giardino, Valeria, editorAff7, Linker, Sven, editorAff8, Burns, Richard, editorAff9, Bellucci, Francesco, editorAff10, Boucheix, Jean-Michel, editorAff11, Viana, Petrucio, editorAff12

    المصدر: Diagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. 13462:373-377

  3. 3
    كتاب إلكتروني

    المؤلفون: Hsu, Yu-YinAff5, Lee, Ka KeungAff5

    المساهمون: Huang, Chu-Ren, Editor-in-ChiefAff1, Guo, Rui, Editor-in-ChiefAff2, Su, Qi, editorAff3, Zhan, Weidong, editorAff4

    المصدر: From Minimal Contrast to Meaning Construct : Corpus-based, Near Synonym Driven Approaches to Chinese Lexical Semantics. 9:77-89

  4. 4
  5. 5
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

  6. 6
  7. 7
    كتاب إلكتروني

    المؤلفون: Sekerina, Irina A.Aff6, Aff7, Brooks, Patricia J.Aff6, Aff7, Campanelli, LucaAff7, Schwartz, Anna M.Aff7

    المساهمون: Frazier, Lyn, Series EditorAff1, Roeper, Thomas, Series EditorAff2, Wexler, Kenneth, Series EditorAff3, É. Kiss, Katalin, editorAff4, Zétényi, Tamás, editorAff5

    المصدر: Linguistic and Cognitive Aspects of Quantification. 47:171-192

  8. 8
    كتاب إلكتروني

    المؤلفون: Feldman, Yotam M. Y.Aff15, Padon, OdedAff15, Immerman, NeilAff16, Sagiv, MoolyAff15, Shoham, SharonAff15

    المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Legay, Axel, editorAff13, Margaria, Tiziana, editorAff14

    المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. 10205:76-95

  9. 9
    كتاب إلكتروني

    المساهمون: Omodeo, Eugenio G.Aff1, Policriti, AlbertoAff2, Tomescu, Alexandru I.Aff3

    المصدر: On Sets and Graphs : Perspectives on Logic and Combinatorics. :217-250

  10. 10
    دورية أكاديمية

    المؤلفون: Koslow, ArnoldAff1

    المصدر: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 196(7):2545-2554