عنوان پایان‌نامه

درونیابی یک نواخت در منطق های غیر کلاسیک و پیاده سازی آن در اثبات یار coq