فهرست مقالات Kripke model

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - ارزش ها و رابط ها در برخی منطق های غیر کلاسیک
  پروین صفری سعید صالحی پور
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  2 - Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
  Gholamreza Sotudeh Ali Movaghar