يعرض 1 - 10 نتائج من 174 نتيجة بحث عن '"quantified modal logic"', وقت الاستعلام: 0.85s تنقيح النتائج
  1. 1
    دورية أكاديمية

    المؤلفون: Şişkolar, CemAff1, IDs10988023093941_cor1

    المصدر: Linguistics and Philosophy. 47(2):211-237

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

    المؤلفون: Taprogge, MelanieAff9, Steen, AlexanderAff9

    المساهمون: 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, Seipel, Dietmar, editorAff7, Steen, Alexander, editorAff8

    المصدر: KI 2023: Advances in Artificial Intelligence : 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings. 14236:215-230

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

    المؤلفون: Lyon, Tim S.Aff9, Orlandelli, EugenioAff10

    المساهمون: 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, Ramanayake, Revantha, editorAff7, Urban, Josef, editorAff8

    المصدر: Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. 14278:449-467

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

    المؤلفون: Ghilardi, SilvioAff4

    المساهمون: Hansson, Sven Ove, Editor-in-ChiefAff1, Citkin, Alex, editorAff2, Vandoulakis, Ioannis M., editorAff3

    المصدر: V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. 24:165-175

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

    المؤلفون: van Inwagen, Peter, author

    المصدر: Being : A Study in Ontology, 2022.

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

    المؤلفون: Nencha, CristinaAff1, Aff2, IDs11229022038139_cor1

    المصدر: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 200(5)

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

    المؤلفون: Alexander, Samuel AllenAff10

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Cleophas, Loek, editorAff8, Massink, Mieke, editorAff9

    المصدر: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. 12524:201-213

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