يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Geuvers, Herman', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

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

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

    Type theory and formal proof an introduction
  2. 2

    Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings

    منشور في 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings

أدوات البحث: