نتائج البحث - "type theory and proof theory"

الموضوعات المستخلصة من بحثك.
  • يعرض 1 - 6 نتائج من 6
تنقيح النتائج
  1. 1
    صورة الغلاف

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    منشور في 2022
    الموضوعات: "…type theory and proof theory…"
    DOAB: download the publication
    DOAB: description of the publication
    الكتروني فصل الكتاب

    أضف إلى المفضلة
    محفوظ في:
  2. 2
    صورة الغلاف

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    منشور في 2022
    الموضوعات: "…type theory and proof theory…"
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    الكتروني فصل الكتاب

    أضف إلى المفضلة
    محفوظ في:
  3. 3
    صورة الغلاف

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    منشور في 2021
    الموضوعات: "…type theory and proof theory…"
    DOAB: download the publication
    DOAB: description of the publication
    الكتروني فصل الكتاب

    أضف إلى المفضلة
    محفوظ في:
  4. 4
    صورة الغلاف

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    منشور في 2021
    الموضوعات: "…type theory and proof theory…"
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    الكتروني فصل الكتاب

    أضف إلى المفضلة
    محفوظ في:
  5. 5
    صورة الغلاف

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    منشور في 2020
    الموضوعات: "…type theory and proof theory…"
    DOAB: download the publication
    DOAB: description of the publication
    الكتروني فصل الكتاب

    أضف إلى المفضلة
    محفوظ في:
  6. 6
    صورة الغلاف

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    منشور في 2020
    الموضوعات: "…type theory and proof theory…"
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    الكتروني فصل الكتاب

    أضف إلى المفضلة
    محفوظ في:

أدوات البحث: