প্রদর্শন 1 - 1 ফলাফল এর 1 অনুসন্ধানের জন্য 'Nederpelt, Rob', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Type theory and formal proof an introduction অনুযায়ী Nederpelt, Rob, Geuvers, Herman

    প্রকাশিত 2014
    গ্রন্থ

    Type theory and formal proof an introduction

অনুসন্ধান সাধনীগুলি: