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

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