يعرض 1 - 10 نتائج من 106 نتيجة بحث عن '"propositions"', وقت الاستعلام: 1.13s تنقيح النتائج
  1. 1
    مؤتمر

    وصف الملف: application/pdf

    العلاقة: Proceedings of the . Annual Hawaii International Conference on System Sciences; Proceedings of the 56th Annual Hawaii International Conference on System Sciences, p. 3964-3973; http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-49842Test; urn:isbn:978-0-9981331-6-4

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

    المؤلفون: Barenbaum, Pablo, Freund, Teodoro

    المساهمون: Pablo Barenbaum and Teodoro Freund

    وصف الملف: application/pdf

    العلاقة: Is Part Of LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023); urn:nbn:de:0030-drops-174707; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.9Test

  3. 3
    مؤتمر

    المؤلفون: Moreno, Magdalena

    المساهمون: Universidad Nacional de Tres de Febrero Buenos Aires (UNTREF), Collège international des sciences territoriales (CIST)

    المصدر: Proceedings du 6e colloque international du CIST ; CIST2023 - Apprendre des territoires / Enseigner les territoires ; https://hal.science/hal-04388945Test ; CIST2023 - Apprendre des territoires / Enseigner les territoires, Collège international des sciences territoriales (CIST), Nov 2023, Aubervilliers, Campus Condorcet, centre des Colloques, Francia. pp.34-36 ; https://cist.cnrs.fr/colloques-internationaux/cist2023-apprendre-des-territoires-enseigner-les-territoiresTest/

    جغرافية الموضوع: Aubervilliers, centre des Colloques, France

  4. 4
    مؤتمر
  5. 5
    مؤتمر
  6. 6
    مؤتمر
  7. 7
    مؤتمر

    المؤلفون: Pédrot, Pierre-Marie

    المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)

    المصدر: LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-02548315Test ; LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.1-14, ⟨10.1145/3373718.3394740⟩

    جغرافية الموضوع: Saarbrücken, Germany

  8. 8
    مؤتمر
  9. 9
    مؤتمر
  10. 10
    مؤتمر