Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Characteristics of de Bruijn’s early proof checker Automath

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; 68V15, 03B35

  • Source: Fundamenta Informaticae, 185, pp. 313-336Fundamenta Informaticae, 185(4), 313-336. IOS PressFundamenta Informaticae, 185, 313-336

تفاصيل العنوان

×
  • 1-10 of  780 نتائج ل ""Theoretical computer science""