نتائج البحث - "Type theory."

  • يعرض 1 - 3 نتائج من 3
تنقيح النتائج
  1. 1

    The theory of logical types حسب Copi, Irving M.

    منشور في 1971
    كتاب


    صورة الغلاف
  2. 2

    Type theory and formal proof an introduction حسب Nederpelt, Rob, Geuvers, Herman

    منشور في 2014
    كتاب


    صورة الغلاف
  3. 3

    Treatise on intuitionistic type theory حسب Granström, Johan Georg

    منشور في 2011
    Available for UP System via Springer Link.
    Electronic Resource


    صورة الغلاف

أدوات البحث: